diff options
| author | Silvino Silva <silvino@bk.ru> | 2018-07-16 15:32:41 +0100 |
|---|---|---|
| committer | Silvino Silva <silvino@bk.ru> | 2018-07-16 15:32:41 +0100 |
| commit | 214aa23801332d2120df208f9d9042fd51c5f2d3 (patch) | |
| tree | afb5b18f789c68bbf577389ed5268cd2f896e66d /core/conf/ports/drivers/git | |
| parent | bdea1c23d13c417a00b71654670aed309cfa302a (diff) | |
| download | doc-214aa23801332d2120df208f9d9042fd51c5f2d3.tar.gz | |
dumped new version 0.3.5
Diffstat (limited to 'core/conf/ports/drivers/git')
| -rwxr-xr-x | core/conf/ports/drivers/git | 47 |
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" |