From aa244ec3fb071a7fd08494d04cc865b281502804 Mon Sep 17 00:00:00 2001 From: Charles Date: Thu, 30 Jan 2020 18:36:30 +0100 Subject: renaming header files, .libftignore file for simpler features selection --- script/find_src.sh | 21 +++++++++++++++++++++ script/generate_rendu.sh | 26 ++++++++++++++++++++++++++ 2 files changed, 47 insertions(+) create mode 100755 script/find_src.sh create mode 100755 script/generate_rendu.sh (limited to 'script') diff --git a/script/find_src.sh b/script/find_src.sh new file mode 100755 index 0000000..1d645a1 --- /dev/null +++ b/script/find_src.sh @@ -0,0 +1,21 @@ +#!bin/sh + +if [ $# -ne 1 ]; then + echo "Usage $0 ignore_file" + exit 1 +fi + +IGNORE_FILE=$1 + +if [ ! -e $IGNORE_FILE ]; then + echo "Ignore file doesnt exist" + exit 1 +fi + +SRC_DIR=src + +IGNORE_FIND_ARGS=`sed 's/.*/-not -path "&"/' $IGNORE_FILE | paste -sd " "` +IGNORE_FIND_ARGS="$IGNORE_FIND_ARGS -not -name \"*inter*\"" + +sh -c "find $SRC_DIR $IGNORE_FIND_ARGS -name \"*.c\"" +# find $SRC_DIR $IGNORE_FIND_ARGS -name "*.c" 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" -- cgit