From dd0c485ac4975b7dd6d2e230213be1da50d0a065 Mon Sep 17 00:00:00 2001
From: Charles Cabergs <me@cacharle.xyz>
Date: Fri, 18 Sep 2020 16:39:52 +0200
Subject: Removing unnecessary stuff

---
 script/generate_rendu.sh | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100755 script/generate_rendu.sh

(limited to 'script/generate_rendu.sh')

diff --git a/script/generate_rendu.sh b/script/generate_rendu.sh
deleted file mode 100755
index 1b68a97..0000000
--- a/script/generate_rendu.sh
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/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