diff options
| author | lassulus <lass@aidsballs.de> | 2015-12-29 19:24:01 +0100 |
|---|---|---|
| committer | lassulus <lass@aidsballs.de> | 2015-12-29 19:24:01 +0100 |
| commit | 42380546976c15d99dc0e9a65607ba4aafb31590 (patch) | |
| tree | 4b0ae218de102219e9865ae4da65cef8490fafaa /makefu/2configs/Reaktor/random-issue.sh | |
| parent | f22fe4e5d97237dbe76bc856909950487634c7be (diff) | |
| parent | 676d0f748138f0e1fa3cb2177b5a08a857f17fac (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/Reaktor/random-issue.sh')
| -rw-r--r-- | makefu/2configs/Reaktor/random-issue.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/makefu/2configs/Reaktor/random-issue.sh b/makefu/2configs/Reaktor/random-issue.sh deleted file mode 100644 index 5c47c6156..000000000 --- a/makefu/2configs/Reaktor/random-issue.sh +++ /dev/null @@ -1,20 +0,0 @@ -#! /bin/sh -set -eu -# requires env: -# $state_dir -# $origin - -# in PATH: git,lentil,coreutils -subdir=`echo "$1" | tr -dc "[:alnum:]"` -name=`echo "$origin" | tr -dc "[:alnum:]"` -track="$state_dir/$name-checkout" -(if test -e "$track" ;then - cd "$track" - git fetch origin master - git reset --hard origin/master -else - git clone "$origin" "$track" -fi) >&2 - -cd "$track" -lentil "${subdir:-.}" -f csv | sed 1d | shuf | head -1 |