Bonjour
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)
et la touche q sert à quitter