From 926a1af7bc05a70b3f533a0c948a080ca5baa483 Mon Sep 17 00:00:00 2001 From: Thomas Ruoff Date: Sun, 21 Oct 2018 23:49:29 +0200 Subject: [PATCH] fix killing pids --- autostart | 3 +-- settings.sh | 14 -------------- 2 files changed, 1 insertion(+), 16 deletions(-) delete mode 100755 settings.sh diff --git a/autostart b/autostart index 8958527..cb6ac1f 100755 --- a/autostart +++ b/autostart @@ -12,10 +12,9 @@ store_pid() { } OLD_PIDS=$(cat $PIDS_FILE) +kill $(echo $OLD_PIDS) rm $PIDS_FILE -kill $OLD_PIDS - hc emit_hook reload ~/.config/herbstluftwm/bindings.sh diff --git a/settings.sh b/settings.sh deleted file mode 100755 index ebaf9f0..0000000 --- a/settings.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -#font="-*-fixed-medium-*-*-*-12-*-*-*-*-*-*-*" -font="DejaVu Sans Mono for Powerline:pixelsize=11" - -# default -fgcolor="#eee8d5" -bgcolor="#002b36" - -active="#b58900" -activeOnMontior="2aa198" -notempty="#fdf6e3" -notused="#657b83" -urgent="#dc322f"