J. Commandes d'historique

Le shell Bash apporte des outils en ligne de commande pour éditer et manipuler l'historique des commandes d'un utilisateur. C'est principalement du confort, un moyen d'économiser des frappes de touches.

Commandes d'historique de Bash :

  1. history

  2. fc

bash$ history
    1  mount /mnt/cdrom
    2  cd /mnt/cdrom
    3  ls
     ...
              

Variables internes associées aux commandes d'historique de Bash :

  1. $HISTCMD

  2. $HISTCONTROL

  3. $HISTIGNORE

  4. $HISTFILE

  5. $HISTFILESIZE

  6. $HISTTIMEFORMAT (Bash, version 3.0 et suivantes)

  7. $HISTSIZE

  8. !!

  9. !$

  10. !#

  11. !N

  12. !-N

  13. !STRING

  14. !?STRING?

  15. ^STRING^string^

Malheureusement, les outils d'historique de Bash n'ont pas d'utilité dans un script.

#!/bin/bash
# history.sh
# Essai d'utilisation de la commande 'history' dans un script.

history

# Le script n'affiche rien.
# Les commandes d'historique ne fonctionnent pas à l'intérieur d'un script.
bash$ ./history.sh
(pas de sortie)
              

Le site Advancing in the Bash Shell donne une bonne introduction à l'utilisation de l'historique des commandes avec Bash.