10 – L’open source, debian, les impôts, le bash et OCAML

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

Précédent

09 – Le FPGA (épisode spécial)

  1. 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.

  2. 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.

Répondre à Dzamlo Annuler la réponse

Fièrement propulsé par WordPress & Thème par Anders Norén