Advertisement
Guest User

Untitled

a guest
Sep 20th, 2014
178
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.14 KB | None | 0 0
  1. APID=<bash pid number> gdb -batch --eval "attach $APID" --eval "call write_history("/dev/stdout")" --eval 'detach' --eval 'q' | tail -1
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement