no need for push/popd in sub-shell
This commit is contained in:
parent
96374f4e54
commit
5e1517eb4d
6 changed files with 10 additions and 21 deletions
|
@ -1,6 +1,5 @@
|
|||
BASE_DIR=$(realpath $(dirname $0))
|
||||
pushd $BASE_DIR > /dev/null
|
||||
cd $BASE_DIR
|
||||
PIDFILE=riot.pid
|
||||
kill $(cat $PIDFILE)
|
||||
rm $PIDFILE
|
||||
popd > /dev/null
|
Loading…
Add table
Add a link
Reference in a new issue