From e17452b209cdd80c60a149cc30804edbc3f81b98 Mon Sep 17 00:00:00 2001 From: Timo Schmidt Date: Tue, 28 Mar 2023 16:58:27 +0200 Subject: [PATCH] Automatic add --- .bashrc | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/.bashrc b/.bashrc index cc97c49..1f3ba54 100644 --- 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 +}