|
|
|
@ -114,7 +114,7 @@ setup-pi-webcam() |
|
|
|
} |
|
|
|
} |
|
|
|
#+end_src |
|
|
|
#+end_src |
|
|
|
*** konsole helpers |
|
|
|
*** konsole helpers |
|
|
|
#+begin_src sh |
|
|
|
#+begin_src sh :tangle ".zshrc" |
|
|
|
function set-terminal-title() { |
|
|
|
function set-terminal-title() { |
|
|
|
echo -en "\e]2;$@\a" |
|
|
|
echo -en "\e]2;$@\a" |
|
|
|
} |
|
|
|
} |
|
|
|
@ -129,14 +129,12 @@ setup-pi-webcam() |
|
|
|
|
|
|
|
|
|
|
|
function set-konsole-pomo-title() { |
|
|
|
function set-konsole-pomo-title() { |
|
|
|
previous_title=$(get-konsole-title) |
|
|
|
previous_title=$(get-konsole-title) |
|
|
|
set-konsole-title "pomodoro |
|
|
|
set-konsole-title "pomodoro"; |
|
|
|
"; |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
function restore-konsole-title() { |
|
|
|
function restore-konsole-title() { |
|
|
|
set-konsole-title ${previous_title} |
|
|
|
set-konsole-title ${previous_title} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
#+end_src |
|
|
|
#+end_src |
|
|
|
*** emacs helpers |
|
|
|
*** emacs helpers |
|
|
|
#+begin_src sh :tangle ".zshrc" |
|
|
|
#+begin_src sh :tangle ".zshrc" |
|
|
|
|