From 679922a7831176089fe9e3ad62346b0e0bd4dcdd Mon Sep 17 00:00:00 2001
From: lassulus <lassulus@lassul.us>
Date: Sat, 23 Oct 2021 15:15:54 +0200
Subject: Revert "rip Reaktor"

This reverts commit 55b137ba525f075f4619de4676d3e66f782b1a12.
---
 krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh

(limited to 'krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh')

diff --git a/krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh b/krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh
new file mode 100755
index 000000000..5c47c6156
--- /dev/null
+++ b/krebs/5pkgs/simple/Reaktor/scripts/random-issue.sh
@@ -0,0 +1,20 @@
+#! /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
-- 
cgit v1.2.3

[cgit] Unable to lock slot /tmp/cgit/6b300000.lock: No such file or directory (2)