---

System - Bash à l'air maussade

• apt install shellcheck

• http://redsymbol.net/articles/unofficial-bash-strict-mode/

• https://shellhaters.org : topos sur pas mal de commandes

• https://wizardzines.com/comics/bash-errors/ : flags à passer pour que les scripts n’aient pas de comportements imprévus

• devhints.io : cheat sheet pour divers langages

• https://arialdomartini.github.io/lesser-known-bash-shortcuts : fonctions plus ésotériques

• https://perrotta.dev/2025/05/bash-set-a-trap-to-log-errors/ trap d’erreurs

Shells alternatifs

• J’aime bien fish.
• http://www.oilshell.org/blog/ : Oil souhaite faire du shell un vrai langage. Pas l’impression que ça fasse tant d’émules. Drew Devault a cité ce projet, actif en 2021.

env dans le shebang ?

https://stackoverflow.com/questions/16365130/what-is-the-difference-between-usr-bin-env-bash-and-usr-bin-bash

#!/usr/bin/env bash #lends you some flexibility on different systems
#!/usr/bin/bash     #gives you explicit control on a given system of what executable is called

In some situations, the first may be preferred (like running python scripts with multiple versions of python, without having to rework the executable line). But in situations where security is the focus, the latter would be preferred, as it limits code injection possibilities.

---

System : Androïd ou en rôdeur, Bash à l'air maussade, btrfs, Console Fonts, Debian, Démarrage, Dispositions clavier, Distributions, Dotfiles, Filesystems, Fonts, Fuse, Gestion des paquets, Home, Infos système, inotify, Luminosité d'écran, LVM, LXC, Mac OS, NixOS était un bon président pour chiens, NTP, Plymouth Hoshoko, SSH, sudo, Swap a déçu, systemd, udisks, Wifi, Windows, xinput, XKB chez le jardin