Quand tu distribues des fichiers, c'est bien de s'assurer que ce qui est du bash (c'est pareil pour du zsh ou autre) soit documenté, et qu'utiliser l'extension .sh est selon moi une mauvaise pratique et devrait se limiter aux scripts de type bourne shell portables.
L’extension pour bash et ksh a justement toujours été .sh aussi loin que j’ai pu remonter. Tu es juste en train de vouloir imposer ta pratique... :)
Et l’expérience montre que la meilleure distribution de scripts est avec les permissions +x et le shebang.
"It is seldom that liberty of any kind is lost all at once." ― David Hume
[^] # Re: le langage est bash, donc le langage est bash
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal bake : scripter en bash à la « makefile ». Évalué à 4. Dernière modification le 20 novembre 2025 à 01:35.
Y a pas méprise là ?
L’extension pour bash et ksh a justement toujours été
.shaussi loin que j’ai pu remonter. Tu es juste en train de vouloir imposer ta pratique... :)Et l’expérience montre que la meilleure distribution de scripts est avec les permissions +x et le shebang.
"It is seldom that liberty of any kind is lost all at once." ― David Hume