Ho uno script di shell con la seguente riga:
[ "$DEBUG" == 'true' ] && set -x
help -m setsuggerimento. Che funzioni. Ho provato man setprima di chiedere, tuttavia su Ubuntu c'èNo manual entry for set
setè integrato in bash, quindi se lo man bashtrovi nella sezione COMANDI INCORPORATI SHELL. Quando si visualizza la pagina man probabilmente si può saltare con una ricerca per questo regexp: \bset \[.
help -m set | less