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 +}