annotate unixSoft/bin/servehg.sh @ 526:852565046ed0 default tip

zsh: fidget with screen/tmux message This should speed things up very slightly by avoiding some `grep` action in the common case of no detached screens/tmuxes.
author Augie Fackler <raf@durin42.com>
date Mon, 14 Nov 2022 11:02:35 -0500
parents ef5c69032d20
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41
ef5c69032d20 Multi-hg serving code I seem to use often.
Augie Fackler <durin42@gmail.com>
parents:
diff changeset
1 #!/bin/sh
ef5c69032d20 Multi-hg serving code I seem to use often.
Augie Fackler <durin42@gmail.com>
parents:
diff changeset
2 PID_PATH=$HOME/unixSoft/hg.pid
ef5c69032d20 Multi-hg serving code I seem to use often.
Augie Fackler <durin42@gmail.com>
parents:
diff changeset
3 kill `cat $PID_PATH `
ef5c69032d20 Multi-hg serving code I seem to use often.
Augie Fackler <durin42@gmail.com>
parents:
diff changeset
4 sleep 1
ef5c69032d20 Multi-hg serving code I seem to use often.
Augie Fackler <durin42@gmail.com>
parents:
diff changeset
5 hg serve --prefix /hg/ --webdir-conf $HOME/unixSoft/etc/hgwebdir.conf -p 9000 --pid-file $PID_PATH --style monoblue -d --config web.contact=- --config web.description=-