From 9f2b13aaf422014cb1988a8d91b55aef9c964f12 Mon Sep 17 00:00:00 2001 From: Grissess Date: Tue, 12 Feb 2019 23:32:11 -0500 Subject: A few more useful files... --- make_n_gen.sh | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 make_n_gen.sh (limited to 'make_n_gen.sh') diff --git a/make_n_gen.sh b/make_n_gen.sh new file mode 100755 index 0000000..5dab007 --- /dev/null +++ b/make_n_gen.sh @@ -0,0 +1,14 @@ +#!/bin/sh + +GEN="${2:-gens/test_basic.gen}" + +echo "[" +for i in $(seq $1); do + printf "\t#${GEN}#" + if [ "$i" -eq "$1" ]; then + echo + else + echo "," + fi +done +echo "]" -- cgit v1.2.3-70-g09d2