summaryrefslogtreecommitdiffstats
path: root/modules/ports/drivers/git
diff options
context:
space:
mode:
authorpiernov <piernov@piernov.servegame.org>2011-06-02 15:08:03 +0200
committerpiernov <piernov@piernov.servegame.org>2011-06-02 15:08:03 +0200
commit762f732c33432c9a6f488dd5618e19b26fe47609 (patch)
tree878104dccdc4389a1f523472f2f4e08a24e99777 /modules/ports/drivers/git
parentec823fb412e4574e4d2dcd4c0f58dff01ee549e6 (diff)
downloadrbjbbot-master.tar.gz
rbjbbot-master.tar.bz2
rbjbbot-master.tar.xz
rbjbbot-master.zip
Réécrit entièrement.HEADmaster
Diffstat (limited to 'modules/ports/drivers/git')
-rwxr-xr-xmodules/ports/drivers/git28
1 files changed, 28 insertions, 0 deletions
diff --git a/modules/ports/drivers/git b/modules/ports/drivers/git
new file mode 100755
index 0000000..e4b301b
--- /dev/null
+++ b/modules/ports/drivers/git
@@ -0,0 +1,28 @@
+#!/bin/sh
+#
+# /etc/ports/drivers/git: git driver script for ports(8)
+#
+
+if [ $# -ne 1 ]; then
+ echo "usage: $0 <file>" >&2
+ exit 1
+fi
+
+. $1
+
+if [ -z "$ROOT_DIR" ]; then
+ echo "ROOT_DIR not set in '$1'" >&2
+ exit 2
+fi
+if [ -z "$URL" ]; then
+ echo "URL not set in '$1'" >&2
+ exit 2
+fi
+
+if [ -d $ROOT_DIR ]; then
+ cd $ROOT_DIR
+ git pull
+else
+ git clone $URL $ROOT_DIR
+fi
+# End of file.