info:historique

Ceci est une ancienne révision du document !

History / historic

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'"
  • info/historique.1418798517.txt.gz
  • Dernière modification : 2014/12/17 07:41
  • de radeff