daily pastebin goal
88%
SHARE
TWEET

Untitled

a guest Nov 17th, 2018 89 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/bash
  2. . ~/.bash_profile
  3. HISTFILE=~/.bash_history
  4. set -o history
  5. history >/home/user/hist_`date "+%d%b%y%T"`
  6.    
  7. HISTTIMEFORMAT="%d%b%y%T "
  8.    
  9. 23Jul1515:48:14 ls -ld .
  10.    
  11. #1437659315
  12. ls -ld .
  13.    
  14. HISTTIMEFORMAT="%s (%H:%M:%S):"
  15.    
  16. 3  1437664568 (17:16:08):man bash
  17. 4  1437664699 (17:18:19):history
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top