Advertisement
Guest User

Untitled

a guest
Feb 16th, 2020
114
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.11 KB | None | 0 0
  1. python
  2. import os
  3. gdb.execute('set history filename {}/gdb/history'.format(os.environ['XDG_CACHE_HOME']))
  4. end
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement