& echo "boum ($0${LINENO+ at line $LINENO})"
apparemment la désactivation de cette fonctionnalité de dash est un choix causé par la gestion de paquets Debian techniquement buggés (j'ai seulement lu des bouts en diagonale, tu te feras une idée plus précise en étant moins flemmard que moi):
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=582952
j'ai juste fait une recherche web sur le motif "debian dash --disable-lineno", ça m'a amené vers un post sur Stackoverflow qui m"a redirigé vers le rapport de bug précité
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 493 |
Nodes: | 16 (2 / 14) |
Uptime: | 13:13:06 |
Calls: | 9,711 |
Calls today: | 1 |
Files: | 13,740 |
Messages: | 6,181,642 |