comparison .bash_aliases @ 274:02a3d7c46b2b

Better 'ds end' functionality, and ability to share a remote environment more easily
author Steve Huston <huston@srhuston.net>
date Fri, 26 Apr 2024 12:02:56 -0400
parents 48b4f41712dc
children 2b513df62dd4
comparison
equal deleted inserted replaced
273:61b830d34016 274:02a3d7c46b2b
56 ds() { 56 ds() {
57 57
58 PIDFILE=${DOTHOME}/.dotshare-PID 58 PIDFILE=${DOTHOME}/.dotshare-PID
59 59
60 # If we want to kill an existing server, let's do that first. 60 # If we want to kill an existing server, let's do that first.
61 if [ "$1" == "end" -a -e $PIDFILE ]; then 61 if [ "$1" == "end" ]; then
62 [[ -e $PIDFILE ]] || {
63 echo "No server detected"
64 return 1
65 }
62 kill `cat $PIDFILE` 66 kill `cat $PIDFILE`
63 unset DOTSHARE_PID DOTSHARE_PORT 67 unset DOTSHARE_PID DOTSHARE_PORT
64 echo "Server terminated" 68 echo "Server terminated"
65 return 0 69 return 0
66 fi 70 fi