info:historique

History / historic

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
  • de radeff