From d2d54fbeea1471609e0c5655b1b887d24d963b01 Mon Sep 17 00:00:00 2001
From: Timo Schmidt <tischmid@student.42berlin.de>
Date: Tue, 28 Mar 2023 19:37:29 +0200
Subject: [PATCH] checkforbiddensourceheader norminette function

---
 .bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index d0dad10..f7f3843 100644
--- a/.bashrc
+++ b/.bashrc
@@ -16,7 +16,7 @@ norminette () {
 	if [ ! "${version}" = "3.3.50" ]; then
 		printf "%s\n" "Your norminette version is not 3.3.50, but ${version}, which will not catch some indentation errors. Please up-/downgrade. Exiting"
 	fi
-	$(type -P norminette) "$@"
+	$(type -P norminette) -R CheckForbiddenSourceHeader "$@"
 }
 jmp () {
 	cd "$(find . -name "${1}" -not -wholename "*mouli*" -print -quit)"