Advertisement
Guest User

Untitled

a guest
Aug 16th, 2017
57
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.43 KB | None | 0 0
  1. set history save on
  2.  
  3. set history size <size>
  4.  
  5. set history remove-duplicates <count>
  6.  
  7. set history filename ~/.gdb_history
  8.  
  9. export HISTSIZE=100000000
  10.  
  11. gdb$ show history
  12. expansion: History expansion on command input is off.
  13. filename: The filename in which to record the command history is "/home/xiao/.gdb_history".
  14. save: Saving of the history record on exit is on.
  15. size: The size of the command history is 100000000.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement