bash_history avec informations temporelles

Bonjour,

Sous Bash, je souhaiterais créer un autre fichier que le ~/.bash_history (disons ~/.bash_history_timed)
qui soit identique au ~/.bash_history d'origine, mais avec en plus la date et l'heure où chaque commande a été tapée.

Et si je pouvais aussi avoir le répertoire courant ce serait l'idéal, comme avec
echo $PWD $(date +"%Y-%j-%H-%M-%S")

Si vous savez comment le faire facilement, merci d'avance pour vos pistes et/ou solutions !

je ne pense pas que le bash_history soit alimenté par une autre méthode que le bash lui même donc dans son binaire, et qu'il te faille du coup écrire ton propre shell.

par contre sur la commande history oui là tu peux en changeant une variable :

Code:

---

echo "export HISTTIMEFORMAT=\"%c \"\$(pwd) " > /etc/profile.d/history.sh

---

si ma memoire est bonne ; selon les distributions c'est peut être ailleurs.

mais ça n’influera pas sur le ~/.bash_history

Voici une piste (sans écrire son propre shell!)...

Tu peux utiliser les possibilités d'interprétation du prompt.

Tu as besoin

• d'informations avant l'exécution de chaque commande (comme le répertoire courant (car celui-ci peut être changé par la commande elle-même (genre cd pushd popd))), donc stockées lors de l'exécution de la commande précédente
• et d'informations après l'exécution de la commande courante (comme l'heure où le return a été tapé).

Voici une ébauche à peaufiner:

Code:

---

1 2 3 4 5 6 7

function my_history { echo "${MY_PWD} $(date +"%Y-%j-%H-%M-%S") $(tail -1 ~/.bash_history)" >> ~/.bash_history_timed MY_PWD=$PWD }   if [ -z "${MY_PS1-}" ] ; then MY_PS1=$PS1 ; fi PS1='$(my_history)'"${MY_PS1}"

---

Bonjour,

En bash, vaut mieux je pense utiliser la variable "PROMPT_COMMAND" qui est là pour executer une commande avant l'affichage du prompt.

Un autre point, il vaut mieux faire un 'history | tail -1" que de passer par le fichier .bash_history qui lui n'est pas remis à jour en permanence (et dont on pourrait d'ailleurs récupérer la dernière commande d'une autre session bash du même utilisateur).

Citation:

---

Envoyé par jack-ft

Voici une piste (sans écrire son propre shell!)...

Tu peux utiliser les possibilités d'interprétation du prompt.

Tu as besoin

• d'informations avant l'exécution de chaque commande (comme le répertoire courant (car celui-ci peut être changé par la commande elle-même (genre cd pushd popd))), donc stockées lors de l'exécution de la commande précédente
• et d'informations après l'exécution de la commande courante (comme l'heure où le return a été tapé).

Voici une ébauche à peaufiner:

Code:

---

1 2 3 4 5 6 7

function my_history { echo "${MY_PWD} $(date +"%Y-%j-%H-%M-%S") $(tail -1 ~/.bash_history)" >> ~/.bash_history_timed MY_PWD=$PWD }   if [ -z "${MY_PS1-}" ] ; then MY_PS1=$PS1 ; fi PS1='$(my_history)'"${MY_PS1}"

---

---

bonne idée... 'lourd' ... mais pas con..

Citation:

---

Envoyé par disedorgue

Bonjour,

En bash, vaut mieux je pense utiliser la variable "PROMPT_COMMAND" qui est là pour executer une commande avant l'affichage du prompt.

---

Exact! (si on utilise un autre shell que bash, on pourra se "rabattre" sur ma proposition)

Citation:

---

Un autre point, il vaut mieux faire un 'history | tail -1" que de passer par le fichier .bash_history qui lui n'est pas remis à jour en permanence (et dont on pourrait d'ailleurs récupérer la dernière commande d'une autre session bash du même utilisateur).

---

C'est bien ce que je pensais! Et je plussoie!
Je voulais répondre rapidement (avant d'aller déjeuner) et, comme je pensais que la commande 'history' était aliasée vers la commande 'fc' (que je n'ai jamais réussi à faire marcher comme je voulais), j'ai malencontreusement choisi la mauvaise voie...

La version améliorée par disedorgue devient donc:

Code:

---

1 2 3 4 5 6 7

function my_history { # Gestion de la toute première commande [ -n "${MY_PWD-}" ] && echo "${MY_PWD-} $(date +'%Y-%j-%H-%M-%S') $(history | tail -1)" >> ~/.bash_history_timed MY_PWD=$PWD }   PROMPT_COMMAND=my_history

---