Forum-Francophone-LinuxMint.fr

Sauvegarde, suite à un effacement accidentel, du tuto créé par cyrille

Juste une astuce pour ceux qui utilisent le terminal et veulent ajouter à la commande history l'affichage de la date et de l'heure.

Pour ceux qui ne connaissent pas la commande history, commencer par

Code : Tout sélectionner

man history

En gros c'est l'historique des commandes passées par le terminal

Code : Tout sélectionner

$ history 5
   33  egrep '[tm].*er' fichier.txt 
   34  zenity --info --text "aze" &
   35  df -h
   36  egrep '^[tm].*er' fichier.txt 
   37  history 5

Editer le fiche ~/.profile ou ~/.bash_profile (s'il existe) qui est le fichier lu quand le shell est invoqué comme shell interactif de connexion.

Nous utiliserons ici ~/.profile mais on peut le faire aussi via .bash_profile (si pas invoqué directement par /bin/sh). Editer ce fichier et ajouter à la fin

Code : Tout sélectionner

nano .profile

# Personnalisation de history
HISTTIMEFORMAT="%d/%m/%y %T "

Sauvergarder (crt + O ; ENTRE ; Ctr + X)

Avec

%d : numéro du jour dans le mois
%m : numéro du mois dans l'année
%y : l'année (format court)
%T : heure (YY:MN:SEC)

Ces paramètres ne sont pas les seuls, vous pouvez modifier l'ordre et en mettre des autres également en fonction de vos souhaits...

Ressourcer la configuration .

Code : Tout sélectionner

source .profile

Dès lors la commande history précisera l'heure et la date des dernières commandes passées au shell.

Forum-Francophone-LinuxMint.fr

Bash : Personnaliser la commande history (ajout date + heure)

Bash : Personnaliser la commande history (ajout date + heure)