diff options
| author | piernov <piernov@piernov.servegame.org> | 2011-06-02 15:08:03 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.servegame.org> | 2011-06-02 15:08:03 +0200 |
| commit | 762f732c33432c9a6f488dd5618e19b26fe47609 (patch) | |
| tree | 878104dccdc4389a1f523472f2f4e08a24e99777 /modules/ports/drivers/git | |
| parent | ec823fb412e4574e4d2dcd4c0f58dff01ee549e6 (diff) | |
| download | rbjbbot-master.tar.gz rbjbbot-master.tar.bz2 rbjbbot-master.tar.xz rbjbbot-master.zip | |
Diffstat (limited to 'modules/ports/drivers/git')
| -rwxr-xr-x | modules/ports/drivers/git | 28 |
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. |