a guest Nov 17th, 2018 89 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- . ~/.bash_profile
- set -o history
- history >/home/user/hist_`date "+%d%b%y%T"`
- HISTTIMEFORMAT="%d%b%y%T "
- 23Jul1515:48:14 ls -ld .
- ls -ld .
- HISTTIMEFORMAT="%s (%H:%M:%S):"
- 3 1437664568 (17:16:08):man bash
- 4 1437664699 (17:18:19):history
RAW Paste Data