diff options
Diffstat (limited to 'config/essentials')
| -rw-r--r-- | config/essentials/shell/aliases.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/essentials/shell/aliases.sh b/config/essentials/shell/aliases.sh index 0064a25..6cd99eb 100644 --- a/config/essentials/shell/aliases.sh +++ b/config/essentials/shell/aliases.sh @@ -344,6 +344,7 @@ alias quickvms='/media/cricket/vms/quickemu/"$(find '\''/media/cricket/vms/quick alias sqlplus='sqlplus -x' alias rsqp='rlwrap sqlplus -x' alias gcamc='gca -m "checkpoint"' +alias gclcd'gclc --depth 1' alias done.='(grt ; ga . ; gcamc ; gp)' alias gdb='gdb -q' alias gdbr='gdb -ex "target remote :4200"' |