Hallo,
auf einem Server arbeiten mehrere Personen unter einer Nutzerkennung. Wenn mehrere Shells offen sind, ist die bash_history nicht immer aussagekräftig. Außerdem möchte ich die Uhrzeit wisssen, wann ein Befehl ausgeführt wurde.
Es sollte jeder Befehl der interaktiv eingegeben wird in ein Log-File geschrieben werden, das PID der Shell und Uhrzeit enthält.
Bis jetzt habe ich nichts brauchbares gefunden. PROMPT_COMMAND wäre einen Lösung, doch leider kann man darin nicht mit "!!" auf den letzten Befehl zugreifen.
Bash3 kann leider nicht installiert werden.
Hat jemand eine Idee?
Thomas
PS: Ich weiß, dass es besser wäre, wenn jeder einen eigenen Account hat und diese alle in einer Gruppe sind.