Você pode alterar o formato do timestamp para o comando history no tcsh

Question

Quando executo o comando history (no tcsh), ele imprime apenas a parte TIME do registro de data e hora e omite a data:

 3  15:07   echo $PATH
 4  15:07   ls -la

No bash, você pode usar a variável ambiental HISTTIMEFORMAT para afetar o timestamp forman imprimido pelo comando history .

Por exemplo set HISTTIMEFORMAT="[%F %T %Z] "

Existe uma maneira de fazer isso no tcsh e, em caso afirmativo, qual versão do tcsh é necessária? Nós temos o tcsh 6.17.00.

Ambiente: Red Har Linux 4.4, mas suponho que a resposta não deva ser afetada, pois history é um shell embutido e não um binário fornecido pelo sistema operacional.

    

Answer 1

Da página tcsh man.

trecho

history The first word indicates the number of history events to save. The optional second word (+) indicates the format in which history is printed; if not given, %h\t%T\t%R\n is used. The format sequences are described below under prompt; note the variable meaning of %R. Set to 100 by default.

Exemplo

$ set history= ( 1000 "%h %W/%D/%Y %T %R\n" )

Resultados em:

$ history
     2 09/08/2014 22:48 set history= ( 1000 "%h %W/%D/%Y %T %R\n" )
     7 09/08/2014 22:49 ls
     9 09/08/2014 22:49 echo "hi"
    10 09/08/2014 22:49 history

Isso resultaria na manutenção do histórico dos últimos 1000 comandos com o formato "%h %W/%D/%Y %T %R\n" .

• %h - history #
• %W/%D/%Y - mês / dia / ano
• '% T - 24 horas tempo
• %R - comando executado

As descrições completas dessas macros são definidas na página tcsh man, role até a seção onde o comando prompt é explicado. Eles estão lá.