Finalement il y a peut-être un intérêt à partager les toutes petites trouvailles que je fais au quotidien. Si elles peuvent éveiller un intérêt chez d’autres.

Chez (Franck) tout d’abord, une astuce pour améliorer la navigation dans l’historique du Shell Bash :

Créer un fichier .inputrc à la racine du répertoire home de l’utilisateur, puis y ajouter :

"\e[A": history-search-backward
"\e[B": history-search-forward
set show-all-if-ambiguous on
set completion-ignore-case on

Cela fait, il est alors possible de saisir le début d’une commande puis, à l’aide des touches de déplacement haut/bas, de circuler dans l’historique des commandes commençant par le même terme. (personnellement je n’utilise pas les touches directionnelles de mon clavier mais les raccourcis classiques de Bash : <Ctrl> + p et <Ctrl> + n, pour previous/next.)

Raccourcis de Bash, justement. J’en connais certains mais pas tous encore. Je n’ai pas encore la fluidité que j’aimerais pour me déplacer et jouer avec les fichiers. Celles-ci sont bien puissantes aussi.

noclobber est une option de Bash permettant d’éviter la réécriture/écrasement de fichiers déjà existants. Je ne m’en sers pas mais je trouve la traduction assez amusante : clobber signifie cogner, tabasser, frapper. En quelque sorte, no clobber signifie pas taper !