Files
dive-into-python3/push
T
2009-02-28 16:21:16 -05:00

7 lines
173 B
Bash

#!/bin/sh
ssh diveintomark.org "hg -R /home/mark/db/diveintopython3/ serve --stdio" &
pid=$!
hg push ssh://mark@diveintomark.org//home/mark/db/diveintopython3/
kill "$pid"