From bb5fdaa6c001dee45e817908312584317a87929e Mon Sep 17 00:00:00 2001
From: Markus M <mmi.github@gmail.com>
Date: Tue, 30 Apr 2024 13:20:49 +0200
Subject: [PATCH] switched input file for getting branch to
${basename}_submissionText.html
---
fugit.sh | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/fugit.sh b/fugit.sh
index 5f56a34..24ee193 100755
--- a/fugit.sh
+++ b/fugit.sh
@@ -22,14 +22,13 @@ fi
if [ -z $1 ]; then
# read branch name from comments.txt
branch_name=`cat "${current_dir}_submissionText.html" | sed -e 's/<[^>]*>//g'` # remove all html tags.
- echo $branch_name
else
branch_name=$1
fi
if [ -z $branch_name ]; then
- printf "No branch name provided via comments.txt\n" >&2
+ printf "No branch name provided via submissionText.html\n" >&2
exit 1;
fi
--
GitLab