Anciennes révisionsLiens de retourExporter en PDFHaut de page Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer RedditDerniers changementsSend via e-MailImprimerPermalien × 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 source: https://doc.ubuntu-fr.org/faq_astuce info/historique.txt Dernière modification : 2018/07/18 09:45de radeff S'identifier