Quelques bonnes pratiques en BASH

Un truc à la con sur debian-like, /usr/bin/sh ne pointe pas sur bash :

ls -lha /bin/sh
lrwxrwxrwx 1 root root 4 janv. 24 2017 /bin/sh -> dash

Pour pointer sur bash il faut faire un :

$ sudo dpkg-reconfigure dash

Et répondre non.

$ ls -lha /bin/sh
lrwxrwxrwx 1 root root 4 juin 28 15:27 /bin/sh -> bash

Cette commande est à relancer après un dist-upgrade, on n'y pense pas toujours.

Certe, dash est plus petit (100k au lieu de 900k ...) et plus rapide. Mais il ne respecte pas les standard de bash, du coup ça génère tout un tas de bug pénibles dans les logiciels «third-party» non libre, notamment pour les FPGA.

/me découvre la vie. Je viens de découvrir qu'il y a une commande bash printf ! Elle se comporte grosso-modo comme la fonction C :

$ printf 'coucou %.02f\n' 2,9876
coucou 2,99

Chez moi ça marche pas. Je suis presque déçu ;)

find . -name "*.jpg" -exec rm -f {} \;

J'aime beaucoup l'alias ;)

Perso en graphique j'utilise filelight, mais ncdu c'est vraiment pas mal pour la ligne de commande.

Un parser de fichier .ini en bash.