Estou tentando adicionar a data às informações do histórico do tcsh e não consigo descobrir como fazer isso funcionar. A página do manual tcsh é assim para a configuração do histórico:
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 to100' by default.
Eu tentei o seguinte colocando uma linha no meu arquivo .cshrc usando o que eles dizem ser o formato padrão, mas recebo um erro toda vez que eu faço uma fonte. Aqui está o que eu tentei (com o erro resultante entre parênteses):
set history = 2000 '%h\t%T\t%R\n' [conjunto: o nome da variável deve começar com uma letra.]
set history = 2000 %h\t%T\t%R\n [conjunto: o nome da variável deve começar com uma letra.]
set history = 2000 $DATE='%h\t%T\t%R\n' [DATE: Variável indefinida.]
set history = 2000 $FORMAT='%h\t%T\t%R\n' [FORMATO: Variável indefinida.]
set history = 2000 $TIME='%h\t%T\t%R\n' [ TIME: Variável indefinida.]
O seguinte não me dá um erro de fonte, isso me dá um erro history: Badly formed number. quando tento usar o histórico:
set history = '2000 %h\t%T\t%R\n'
Eu obviamente estou me debatendo por aqui, não tenho muita experiência com a modificação do arquivo .cshrc . Qualquer ajuda seria apreciada.
Experimente esta sintaxe:
set history=(2000 "%h\t%T\t%R\n")
Para obter uma data completa:
set history=(2000 "%h %D/%W/%Y %T %R\n")
Demo:
$ set history=(2000 "%h %D/%W/%Y %T %R\n")
$ history
1 20/05/2011 6:27 set prompt="$ "
2 20/05/2011 6:27 set history= ( 2000 "%h %D/%W/%Y %T %R\n" )
3 20/05/2011 6:27 history
Tags tcsh command-history