From d4070ead9548efb41f5fb16895ca60c05d5df5a9 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Thu, 19 Jun 2025 20:24:54 +0200 Subject: checkpoint --- bin/guiscripts/vrec | 2 +- config/essentials/shell/aliases.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/guiscripts/vrec b/bin/guiscripts/vrec index e16679d..f876da0 100755 --- a/bin/guiscripts/vrec +++ b/bin/guiscripts/vrec @@ -111,7 +111,7 @@ case "$option" in ;; last) file="$(find "$dir" -type f -iname '*.mp4' -printf '%Ts %p\n' | sort -n -r | head -n 1 | cut -f 2- -d' ')" - printf '%s' "$file" | clipp + printf '%s' "$file" ;; full) record_cmd 0 0 1920 1080 "$dir" "$output" ;; audio) diff --git a/config/essentials/shell/aliases.sh b/config/essentials/shell/aliases.sh index d94325a..0064a25 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='(grt ; ga . ; gcamc ; gp)' +alias done.='(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)"' -- cgit v1.2.3-70-g09d2