annotate unixSoft/bin/servehg.sh @ 521:6cc5a0550281

tools: port hg utility scripts to python 3
author Augie Fackler <raf@durin42.com>
date Thu, 14 Jul 2022 14:09:04 -0400
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=-