Como saber o tempo de execução dos comandos anteriores [duplicado]

3

Eu sei que, usando o comando history , posso ver meus comandos anteriores, mas:

  • Existe uma maneira de ver a data e hora da execução daqueles comandos?
  • Ou esse tipo de informação não é salva?
  • E se esse tipo de informação não for salvo, existe alguma maneira de fazer isso para salvá-lo para que eu possa ver mais tarde?
por Maythux 10.06.2015 / 14:56

1 resposta

5

Tente executar este comando no terminal:

HISTTIMEFORMAT="%d/%m/%y %T "

Agora, execute o histórico:

history

exemplo de saída:

 2000  10/06/15 15:49:29 pal -d
 2001  10/06/15 15:49:33 pal -d 10
 2002  10/06/15 15:49:49 pal -d 04 Jul 2015
 2003  10/06/15 15:50:36 gedit/home/maythux/.pal/pal.conf
 2004  10/06/15 15:50:40 gedit /home/maythux/.pal/pal.conf
 2005  10/06/15 15:53:30 cal
 2006  10/06/15 15:53:31 gcal
 2007  10/06/15 15:53:34 sudo apt-get install gcal
 2008  10/06/15 15:53:54 gcal
 2009  10/06/15 15:53:57 man gcal
 2010  10/06/15 15:54:03 pal
 2011  10/06/15 15:55:35 pal -m
 2012  10/06/15 15:56:56 history 
 2013  10/06/15 15:57:39 HISTTIMEFORMAT="%d/%m/%y %T "
 2014  10/06/15 15:57:45 history

Para tornar isso permanente, adicione ao seu .bashrc :

echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bashrc

Em seguida, fonte seu bashrc:

source .bashrc

Agora, a saída de amostra estará disponível sempre que você executar o comando history

    
por Maythux 10.06.2015 / 14:58