Merge branch 'master' into develop

1 files changed, 0 insertions, 47 deletions

diff --git a/core/conf/ports/drivers/git b/core/conf/ports/drivers/git
deleted file mode 100755
index 654a8c7..0000000
--- a/core/conf/ports/drivers/git
+++ /dev/null
@@ -1,47 +0,0 @@
-#!/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 "$URL" ]; then
-	echo "URL not set in '$1'" >&2
-	exit 2
-fi
-if [ -z "$NAME" ]; then
-	echo "NAME not set in '$1'" >&2
-	exit 2
-fi
-if [ -z "$BRANCH" ]; then
-	echo "BRANCH not set in '$1'" >&2
-	exit 2
-fi
-
-REPOSITORY="$PORTS_DIR/$NAME"
-if [ -n "$LOCAL_REPOSITORY" ]; then
-	REPOSITORY="$LOCAL_REPOSITORY"
-fi
-
-echo "Fetching updates from $URL"
-echo "Updating collection $NAME"
-
-cd "$REPOSITORY" 2> "/dev/null"
-
-if [ $? -lt 1 ]; then
-	git checkout -q "$BRANCH"
-	git fetch -q
-	git diff --pretty=format: --name-status "$BRANCH" origin/"$BRANCH" | sed "s/M\t/ Edit /g; s/A\t/ Checkout /g; s/D\t/ Delete /g" | sort
-	git clean -q -f
-	git reset -q --hard origin/"$BRANCH"
-else
-	git clone -q -b "$BRANCH" "$URL" "$REPOSITORY"
-	ls -1 $REPOSITORY | sed "s/^/ Checkout /"
-fi
-
-echo "Finished successfully"