git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5527ee) | patch
+GDBHISTFILE="$HOME/.gdb_history"
authorshort <>
Wed, 10 Aug 2005 02:36:45 +0000 (02:36 +0000)
committershort <>
Wed, 10 Aug 2005 02:36:45 +0000 (02:36 +0000)
commita8de0fe37edd70cb526f72dead01ba21163ea5eb
tree8b1bec5d4f1a70c8c09cdeb39cd144fed627540dtree
parentb5527eeeccc01a574b1324038527f0be786b73d2commit | diff
+GDBHISTFILE="$HOME/.gdb_history"
 - Setting dropped from '$HOME/.gdbinit' as I dunno how to make it $HOME rel.
 - Appears to me this is not default just on Debian.
.bashrc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.