Wenn ich den historyBefehl (auf tcsh) ausführe , wird nur der TIME-Teil des Zeitstempels gedruckt und das Datum weggelassen:
3 15:07 echo $PATH
4 15:07 ls -la
In bash können Sie HISTTIMEFORMATUmgebungsvariablen verwenden, um den durch historyBefehl gedruckten Zeitstempel forman zu beeinflussen .
Z.B set HISTTIMEFORMAT="[%F %T %Z] "
Gibt es eine Möglichkeit, dies in tcsh zu tun, und wenn ja, welche Version von tcsh ist erforderlich? Wir haben tcsh 6.17.00.
Umgebung: Red Har Linux 4.4, aber ich gehe davon aus, dass die Antwort nicht beeinflusst werden sollte, da historyes sich um eine integrierte Shell handelt und nicht um eine vom Betriebssystem bereitgestellte Binärdatei.