Apri un terminale, esegui
# If ~./inputrc doesn't exist yet, first include the original /etc/inputrc so we don't override it
if [ ! -a ~/.inputrc ]; then echo '$include /etc/inputrc' > ~/.inputrc; fi
# Add option to ~/.inputrc to enable case-insensitive tab completion
echo 'set completion-ignore-case On' >> ~/.inputrc
Avvia una nuova shell / terminale.
per apportare questa modifica a tutti gli utenti, modifica /etc/inputrc
Per i dettagli, vedi man bash
. Sì, è una lunga pagina, ma bash è un programma un po 'complesso, e se vuoi semplicemente cercare quella pagina per "case-insensitive" per andare alla sezione pertinente. Le persone di solito imparano a bash una opzione alla volta o uno script bash alla volta e ci vuole molto tempo per padroneggiare tutte le sfumature. Il tuo interesse potrebbe variare.