| history |
Displays the commands history.
Accepts an optional --clear argument to empty
the history, which must exist.
Commands stored in a .zshell_history
DTML Document are printed. This document
must be created manually for the history
of commands to be saved.
If the current user has the 'Change DTML Documents'
permission on the .zshell_history document, then he
can either list all commands, along with their
execution date, and the username who launched
them, or list only commands launched by some users.
Otherwise, only the commands launched
by the current user are shown, with no additional
information.
history
or:
history --clear
or:
history --user "jer*" --user !jerome
This one will list all commands launched by
users which name begins with 'jer' but not those
from user 'jerome'.
WARNING: No security check is done to update the
history. However the user needs sufficient
permissions to clear the history.
This may allow a manager to
keep an history of commands run by
other users, but in a place where these
users normally has no write access, in
order to forbid them to modify this
history to hide launched commands
from the manager. Just tell me
if this is not OK, and I'll change it.
|
|