diff options
| author | Loek Le Blansch <loek@pipeframe.xyz> | 2025-01-23 19:44:06 +0100 |
|---|---|---|
| committer | Loek Le Blansch <loek@pipeframe.xyz> | 2025-01-23 19:44:06 +0100 |
| commit | 907cc42f845a18453b9bb5a8bb5fbf5bb556ca22 (patch) | |
| tree | a787b52dbcbf471539b55a47e35215e446b32a55 /.local/share/mode/plug.d | |
| parent | 5cd8a471287918fe58d2ef4045f1987d0f825518 (diff) | |
make library functions available to reload.d scripts
Diffstat (limited to '.local/share/mode/plug.d')
| -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 +} + |