diff options
| author | lassulus <lassulus@lassul.us> | 2021-09-14 18:52:54 +0200 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2021-10-23 14:58:10 +0200 |
| commit | 55b137ba525f075f4619de4676d3e66f782b1a12 (patch) | |
| tree | 87760565f954e5371e48431372bebac75fe76bf4 /krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh | |
| parent | 9ea664b63c348a5855299250ec45f622c1404c5d (diff) | |
rip Reaktor
Diffstat (limited to 'krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh')
| -rwxr-xr-x | krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh b/krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh deleted file mode 100755 index 5c47c6156..000000000 --- a/krebs/5pkgs/simple/Reaktor/scripts/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 |