diff options
| author | Raymaekers Luca <luca@spacehb.net> | 2025-04-25 15:01:15 +0200 |
|---|---|---|
| committer | Raymaekers Luca <luca@spacehb.net> | 2025-04-25 15:01:15 +0200 |
| commit | 7caa9a0fa8557707737598e5d2de2384b3f1e289 (patch) | |
| tree | aaa6306feea821b6ae01ae32fe2aac4fee0ef419 /config | |
| parent | 38daa3424e2ed3cbaf2ab3c554652437ff0026d5 (diff) | |
checkpoint
Diffstat (limited to 'config')
| -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 49fd8dc..d94325a 100644 --- a/config/essentials/shell/aliases.sh +++ b/config/essentials/shell/aliases.sh @@ -344,7 +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 luca='ga . && gcamc && gp' +alias luca='(grt ; ga . ; gcamc ; gp)' alias gdb='gdb -q' alias gdbr='gdb -ex "target remote :4200"' alias gonotes='cd "$(find $HOME/notes/ -mindepth 1 -type d -not -name '\''.*'\'' | sed "s@$HOME/notes/@@" | fzf)"' |