From ae1412fdc283e442a0869aa7d63778449a7e5cfe Mon Sep 17 00:00:00 2001 From: Charles Date: Thu, 16 Jan 2020 00:51:22 +0100 Subject: Features toggle to avoid bloat and unauthorized functions, config file, script to generate a rendu branch --- scripts/generate_rendu.sh | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 scripts/generate_rendu.sh (limited to 'scripts') diff --git a/scripts/generate_rendu.sh b/scripts/generate_rendu.sh new file mode 100644 index 0000000..1b68a97 --- /dev/null +++ b/scripts/generate_rendu.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +if [ "$(git status --porcelain)" ] +then + echo "Error: Your working directory isn't clean" + exit +fi + +BASE_BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD) +RENDU_BRANCH_NAME="rendu-$BASE_BRANCH_NAME" + +if [ -z $(git show-ref --verify --quiet refs/heads/$RENDU_BRANCH_NAME) ] +then + echo "Error: $RENDU_BRANCH_NAME was already generated" + exit +fi + +git checkout -b $RENDU_BRANCH_NAME +RENDU_IGNORE=$(sed -n 's/RENDU_IGNORE=//p') +make fclean +rm -f $RENDU_IGNORE + +# generate makefile strict src + +git add . +git commit --message "Generated commit: creation of rendu for $BASE_BRANCH_NAME" -- cgit