History / historic

L'historique des commandes

https://doc.ubuntu-fr.org/terminal#l_historique_des_commandes

https://doc.ubuntu-fr.org/bash#une_meilleure_gestion_de_l_historique

Configurer l'historique pour qu'il conserve date+heure

#echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bashrc
echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.login ; bash
#! /usr/bin/bash

# [[historique]] Script to show simple history, eg to keep a trace of your activity in a "carnet de bord"

# Authors:
# FR, fradeff@akademia.ch

# History
# 2006.5.18: FR
go="history | sed 's/^  [0-9]*  //g'"

$go
echo "history | sed 's/^  [0-9]*  //g'"
<Ctrl+r>
(reverse-i-search)`':ChaineRecherchée
Pour continuer la recherche
<Ctrl+r>
Appuyez sur <Entrée> pour valider la commande 

source: https://doc.ubuntu-fr.org/faq_astuce

  • info/historique.txt
  • Dernière modification: 2018/07/18 09:45
  • par radeff