diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-09-20 12:14:10 +0200 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-09-20 12:14:10 +0200 |
| commit | e5b735f8a7013fd872cd78e588b9cbe87602ec14 (patch) | |
| tree | 8df91a6c9741c8bb5abaef72353890dcc16ab38e /config/essentials/zsh/aliases.sh | |
| parent | 0c52af3115527692b8aac046c69a2bb7495ff4fc (diff) | |
[aliases] prevent gurk from relink when already running
Diffstat (limited to 'config/essentials/zsh/aliases.sh')
| -rw-r--r-- | config/essentials/zsh/aliases.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/essentials/zsh/aliases.sh b/config/essentials/zsh/aliases.sh index 9a7b196..67aa74a 100644 --- a/config/essentials/zsh/aliases.sh +++ b/config/essentials/zsh/aliases.sh @@ -51,6 +51,8 @@ alias sr='surfraw' alias ccu='calcurse' alias pf='profanity' +alias gurk='pgrep gurk > /dev/null && printf "Already Running.\n" || gurk' + alias arduino-cli='arduino-cli --config-file $XDG_CONFIG_HOME/arduino15/arduino-cli.yaml' if [ -x /usr/bin/dircolors ] || [ -x $HOME/../usr/bin/dircolors ] |