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
Config history
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
script to keep activity
#! /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'"
Astuces (fidji): Rechercher interactive dans l'historique des commandes lancées dans le terminal
<Ctrl+r> (reverse-i-search)`':ChaineRecherchée Pour continuer la recherche <Ctrl+r> Appuyez sur <Entrée> pour valider la commande