Un petit article de fond sur l’open source : https://blog.imirhil.fr/2017/02/21/logiciel-libre-gouvernance-ethique.html
Debian :
https://www.debian.org/vote/2017/platforms/lamby
Impôts : http://images.math.cnrs.fr/J-ai-saute-une-tranche.html
Git :
https://github.com/blog/2360-git-2-13-has-been-released
Et deux articles sur mes geekierie bash :
OCAML :
https://sympa.inria.fr/sympa/arc/caml-list/2017-04/msg00085.html
alterlibriste
Un épisode bien intéressant avec des sujets très variés. N’étant pas développeur, certains aspects me sont un peu étrangers mais la diversité des articles rend l’émission instructive sur plein d’aspects différents.
Dzamlo
Bonjour,
Après avoir écouté cet épisode, j’aimerais apporter deux choses sur l’historique bash.
Premièrement, une partie de ma configuration. Le but est de ne jamais perdre de commandes dans l’historique. L’historique de chaque session est enregistré dans un fichier séparé. Il y a une certaine similitude avec historian, mais en moins complexe, l’historique reste sous forme de texte avec tout les avantages que cela procure. Le tout se trouve sur https://gist.github.com/dzamlo/783a701c52941fa409c1a7cfa3011f1b
Deuxièmement, j’ai découvert il n’y a pas très longtemps fzf (https://github.com/junegunn/fzf). Et c’est vraiment génial. Une fois configuré, CTRL-R affiche une liste des dernières commandes de l’historique qui est filtrée en temps réel avec la recherche que l’on fait. Ainsi au lieu de juste voire la dernière commande qui correspond à la recherche on voit toutes les commandes correspondantes. De plus, la recherche est plus flexible. Par exemple, si je cherche « cargo gnuplot », je vais retrouver ma commande même s’il y a autre chose entre les deux.