K. 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 (vain) d'utilisation de la commande 'history' dans un script.

history                      # Aucun affichage.

var=$(history); echo "$var"  # $var est vide.

# Les commandes d'historique sont désactivées à l'intérieur d'un script.
bash$ ./history.sh
(pas de sortie)
              

Le site Advancing in the Bash Shell fournit une bonne introduction à l'utilisation des commandes de Bash agissant sur l'historique.