diff options
| author | Yuchen Pei <id@ypei.org> | 2023-08-03 20:13:54 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-08-03 20:13:54 +1000 |
| commit | 1561511c4ea5e1ba9157e74e4e8e7bac76c95210 (patch) | |
| tree | d1c9e16820e6828bef27d254573d59b3377fa0c1 /misc | |
| parent | 53d94b9afd8dd51dd591f70b4f00b77c3ed403b4 (diff) | |
minor changes in dediting, prog, gdbinit
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/.gdbinit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/.gdbinit b/misc/.gdbinit index d891c3b..39fe043 100644 --- a/misc/.gdbinit +++ b/misc/.gdbinit @@ -16,6 +16,8 @@ alias ud = undisplay alias wl = watch -l alias awl = awatch -l alias rwl = rwatch -l +alias dsp = display +alias rst = restart set history save on set history filename ~/.gdb_history set history remove-duplicates unlimited |