diff options
| author | Charles <sircharlesaze@gmail.com> | 2020-01-30 18:36:30 +0100 |
|---|---|---|
| committer | Charles <sircharlesaze@gmail.com> | 2020-01-30 18:36:30 +0100 |
| commit | aa244ec3fb071a7fd08494d04cc865b281502804 (patch) | |
| tree | 4050030647cb9649b374b576c4dad7470840fc44 /script/generate_rendu.sh | |
| parent | aa9613efb6fb39bd96fc4836b5d38c3746af1b15 (diff) | |
| download | libft-aa244ec3fb071a7fd08494d04cc865b281502804.tar.gz libft-aa244ec3fb071a7fd08494d04cc865b281502804.tar.bz2 libft-aa244ec3fb071a7fd08494d04cc865b281502804.zip | |
renaming header files, .libftignore file for simpler features selection
Diffstat (limited to 'script/generate_rendu.sh')
| -rwxr-xr-x | script/generate_rendu.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/script/generate_rendu.sh b/script/generate_rendu.sh new file mode 100755 index 0000000..1b68a97 --- /dev/null +++ b/script/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" |