fix killing pids

This commit is contained in:
Thomas Ruoff
2018-10-21 23:49:29 +02:00
parent 71a28173de
commit 926a1af7bc
2 changed files with 1 additions and 16 deletions

View File

@@ -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

View File

@@ -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"