diff options
| author | Raymaekers Luca <luca@spacehb.net> | 2025-09-22 11:33:02 +0200 |
|---|---|---|
| committer | Raymaekers Luca <luca@spacehb.net> | 2025-09-22 11:33:02 +0200 |
| commit | cc24a27e42910d42142073e5067cb354dfee1e89 (patch) | |
| tree | 9b76e9be0d1b72ef52a5692a31421bd1d18389c2 /config/essentials/shell | |
| parent | c63087722d371a8ca30486351e193501116cbdc3 (diff) | |
checkpoint
Diffstat (limited to 'config/essentials/shell')
| -rw-r--r-- | config/essentials/shell/aliases.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/essentials/shell/aliases.sh b/config/essentials/shell/aliases.sh index b26128a..c115b41 100644 --- a/config/essentials/shell/aliases.sh +++ b/config/essentials/shell/aliases.sh @@ -315,7 +315,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 gcld='gcl --depth 1 --filter=blob:none' alias done.='(grt ; ga . ; gcamc ; gp)' alias gdb='gdb -q' alias gdbr='gdb -ex "target remote :4200"' |