De nombreux scripts bash invoquent l'option #
pour indiquer un commentaire. Catalina a migré vers zsh. La commande :
# Comments should elicit no response
renvoie à
zsh : commande non trouvée : #
Je trouve des exemples de commandes utiles sur le web : il est utile d'annoter les commandes avec ledit #weblink pour qu'il soit capturé dans l'historique.
J'ai trouvé ce message : https://stackoverflow.com/a/11873793/4953146
- Y a-t-il une raison pour que le
#
pour ne pas être reconnu comme le caractère de commentaire dans zsh ? - Comment configurer le terminal pour qu'il reconnaisse le caractère comme un commentaire ?
La question 1 établit le contexte pour décider d'une méthode pour répondre à la question 2. Ce serait bien de pouvoir configurer le caractère une fois et toutes les instances futures de zsh suivraient. S'il y a / avait une bonne raison pour laquelle cette fonctionnalité a été désactivée, j'aimerais en comprendre les raisons.
Il est important de comprendre le "pourquoi" pour déterminer le "comment". Il semble y avoir de nombreuses façons de restaurer #
commenter en zsh. Une solution durable consiste à ajouter au fichier de configuration : sudo vi /etc/zshrc
:
setopt interactivecomments
D'autres méthodes (non durables) incluent l'invocation de ksh ou sh.
Merci à l'utilisateur3439894 et à Allan pour avoir soutenu et fait avancer la question.