5330 shaares
5 private links
5 private links
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.