pour shopt, voir dans la page man du bash
tu entre :
man bash
et quand la page man de bash est affichée,
tu peux faire une recherche avec le motif shopt en tapant : / shopt
en tapant plusieurs fois sur la touche n tu trouvera les occurrences suivantes,
en tapant sur la touche N l’occurence précédente
En tapant sur h tu aura l’aide en ligne du pager qui est utilisé pour afficher les pages man
(par défaut sur debian, c’est la commande less)
En fait, shopt permet de contrôler les options de l’interpréteur de commandes bash
et on le retrouve aussi dans la page man des fonctions intégrées (builtins) dans l’interpréteur de commandes bash
Donc, on le retrouve aussi dans :
man builtins
[HORS SUJET]
Je me suis aussi ajouté ces quelques lignes à la fin de mon ~/.bashrc
# pager less en couleurs pour les "man pages"
# Voir aussi :
# man termcap
# man console_codes
export \
LESS_TERMCAP_mb=$'\e[1;31m' \
LESS_TERMCAP_md=$'\e[1;38;5;74m' \
LESS_TERMCAP_me=$'\e[0m' \
LESS_TERMCAP_se=$'\e[0m' \
LESS_TERMCAP_so=$'\e[1;44;33m' \
LESS_TERMCAP_ue=$'\e[0m' \
LESS_TERMCAP_us=$'\e[1;32m'
Aide de bash, il existe aussi «help»:
man bash_, puis /shopt montre de nombreuses occurences du mot shopt, et pour d’autres mots-clés, c’est bien pire.
Pour une fonction bash, la commande «help shopt» extrait immédiatement le bon paragraphe.
C’est juste, on apprends beaucoup de chose avec man bash, mais help a aussi son utilité: quand il s’agit juste de se rappeler la syntaxe, les options, help fait gagner du temps.
Je ne pensais pas à l’astuce des 3 espaces, merci.