2) Même remarque pour la commande seq. Tu peux la remplacer avantageusement par {1..3} par exemple
Surtout pas. C'est un bashisme ça, pas du shell générique.
4) il n'y a pas de première ligne indiquant l'interpréteur ! #!/bin/bash
Les vrais hommes savent écrire du vrai shell générique plutôt que d'utiliser Bash par ignorance : #! /bin/sh. Et n'utilisent Bash que quand ils savent qu'ils ont intérêt à utiliser une fonction spécifique de cet interpréteur particulier.
Réactions possibles au passage de Bash à dash comme shell par défaut par Ubuntu puis Debian :
le mec paresseux : qu'à cela ne tienne, je vais remplacer mes shebangs #! /bin/sh par #! /bin/bash comme ça je n'ai aucun effort à faire et je suis sûr que ça marche ;
le mec motivé : je vais apprendre à éviter les bashismes, vérifier mes scripts et remplacer les bashismes par leurs équivalents standards, comme ça ce sera optimal.
[^] # Re: À propos de ta syntaxe
Posté par 🚲 Tanguy Ortolo (site web personnel) . En réponse au message comment je vide proprement mon /boot des vieux noyaux installés par ma distrib. Évalué à 4. Dernière modification le 31 mai 2013 à 17:40.
Surtout pas. C'est un bashisme ça, pas du shell générique.
Les vrais hommes savent écrire du vrai shell générique plutôt que d'utiliser Bash par ignorance :
#! /bin/sh. Et n'utilisent Bash que quand ils savent qu'ils ont intérêt à utiliser une fonction spécifique de cet interpréteur particulier.Réactions possibles au passage de Bash à dash comme shell par défaut par Ubuntu puis Debian :
#! /bin/shpar#! /bin/bashcomme ça je n'ai aucun effort à faire et je suis sûr que ça marche ;