src/init/hginit
changeset 33 18e93dbdaf12
parent 32 4059dbe9f26a
child 36 b3237aabd0fe
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/init/hginit	Mon Jun 16 17:12:20 2008 +0100
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -e
+
+cd ~hg
+mkdir -p repos/hgadmin .ssh
+cd repos/hgadmin
+hg init .
+cp /usr/local/lib/hg-admin-tools/hgadmin-hgrc .hg/hgrc
+