.HISTORY Extension de fichier

Csh et ses variantes créent ou mettent généralement à jour un fichier HISTORY chaque fois qu’un utilisateur quitte (et ne ferme pas) le shell. Le shell enregistre un nombre défini de commandes de la session la plus récente de l’utilisateur, selon les paramètres que celui-ci a spécifiés dans set history et set savehist. Les utilisateurs peuvent également enregistrer manuellement leur historique à tout moment en saisissant history -S dans le shell.

Si set savehist est configuré pour fusionner l’historique actuel de l’utilisateur avec les historiques précédents, le shell ajoute l’historique actuel à un fichier HISTORY existant. (La liste totale des commandes du fichier ne dépassera pas le paramètre set history ; les anciennes commandes sont supprimées si nécessaire.) Si set savehist n’est pas configuré pour fusionner les historiques, le shell remplace le fichier HISTORY précédent.

Comment afficher l’historique des commandes dans csh

Pour afficher le contenu de votre fichier HISTORY dans csh, saisissez history. Vous pouvez spécifier des arguments supplémentaires qui contrôlent l’affichage de l’historique, notamment :

• -h : Afficher sans les numéros au début
• -T : Afficher avec les horodatages
• -h : Afficher de la plus récente à la plus ancienne
• [#] : Afficher uniquement # commandes (par exemple, history 100 pour afficher 100 commandes)

Comme les fichiers HISTORY sont des fichiers texte brut, vous pouvez les ouvrir et afficher leur contenu dans n’importe quel éditeur de texte. Vous pouvez également utiliser la commande history pour afficher le contenu de votre fichier HISTORY dans csh et ses variantes.