Advertisement
Guest User

Untitled

a guest
Jun 17th, 2019
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.55 KB | None | 0 0
  1. mv old_history .history
  2.  
  3. wc -l .history
  4. 43562 .history
  5.  
  6. wc -l .history
  7. 32234 .history
  8.  
  9. HISTFILE="$HOME/.zsh_history"
  10. HISTSIZE=10000000
  11. SAVEHIST=10000000
  12. setopt BANG_HIST # Treat the '!' character specially during expansion.
  13. setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format.
  14. setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
  15. setopt SHARE_HISTORY # Share history between all sessions.
  16. setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.
  17. setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again.
  18. setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate.
  19. setopt HIST_FIND_NO_DUPS # Do not display a line previously found.
  20. setopt HIST_IGNORE_SPACE # Don't record an entry starting with a space.
  21. setopt HIST_SAVE_NO_DUPS # Don't write duplicate entries in the history file.
  22. setopt HIST_REDUCE_BLANKS # Remove superfluous blanks before recording entry.
  23. setopt HIST_VERIFY # Don't execute immediately upon history expansion.
  24. setopt HIST_BEEP # Beep when accessing nonexistent history.
  25.  
  26. export HISTSIZE=2000
  27. export HISTFILE="$HOME/.history"
  28.  
  29. export SAVEHIST=$HISTSIZE
  30.  
  31. setopt hist_ignore_all_dups
  32.  
  33. setopt hist_ignore_space
  34.  
  35. HISTFILE=~/.zsh_history
  36. HISTSIZE=999999999
  37. SAVEHIST=$HISTSIZE
  38.  
  39. ^@^@^@^@^@^@^@^@^@^@^@^@^@^@^@#1453692179
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement