Automatic add

2023-03-28 16:58:27 +02:00 · 2023-03-28 16:58:27 +02:00 · e17452b209
parent 54818eb0e5
commit e17452b209
1 changed files with 14 additions and 0 deletions
--- a/.bashrc
+++ b/.bashrc
@ -245,3 +245,17 @@ next () {
 	next_dir="ex${padded}"
 	builtin cd "../${next_dir}"
 }
+
+clone42 () {
+	repo_url="${1}"
+	folder="${2}"
+	\unset -f norminette
+
+	git clone --quiet "${repo_url}" ${folder}
+	if [ "${?}" = "0" ]; then
+		cd "${folder}"
+		\norminette -R CheckForbiddenSourceHeader "."
+	else
+		printf '%s\n' "Could not clone repo!"
+	fi
+}