diff options
Diffstat (limited to '.local/share/mode/plug.d/10_lib')
| -rw-r--r-- | .local/share/mode/plug.d/10_lib | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.local/share/mode/plug.d/10_lib b/.local/share/mode/plug.d/10_lib index abe75b1..b3a0276 100644 --- a/.local/share/mode/plug.d/10_lib +++ b/.local/share/mode/plug.d/10_lib @@ -34,3 +34,13 @@ mkcd() { cd "$1" } +respawn_daemon() { + killall -q "$1" && fork "$@" +} + +silent_fail_if_no_commmand() { + for name in "$@" ; do + [ -z "$(command -v "$name")" ] && exit + done +} + |