Mercurial > index.cgi > dotfiles
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 | 
