42berlin
/
dotfiles
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'refs/remotes/gitea/master'

This commit is contained in:
Timo Schmidt 2023-03-28 02:31:23 +02:00
parent 5382e0e64f 150e7d4ff0
commit 34b2fd5f86
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
.bashrc
View File

@ -63,3 +63,20 @@ fi
if [ -f /nfs/homes/tischmid/.config/synth-shell/better-history.sh ] && [ -n "$( echo $- | grep i )" ]; then if [ -f /nfs/homes/tischmid/.config/synth-shell/better-history.sh ] && [ -n "$( echo $- | grep i )" ]; then
source /nfs/homes/tischmid/.config/synth-shell/better-history.sh source /nfs/homes/tischmid/.config/synth-shell/better-history.sh
fi fi
check () {
URL="${1}"
DIR="/tmp/tmp_repo_$(date +%s)"
if [ -z "${URL}" ]; then
URL="$(git remote get-url origin)"
fi
git clone --quiet "${URL}" "${DIR}"
if [ -d "${DIR}" ]; then
norminette "${DIR}" && printf '\033[42m%s\033[m\n' "Norminette success" || printf '\033[41m%s\033[m\n' "Norminette fail!!!"
rm -rf "${DIR}"
else
printf '\033[41m%s\033[m\n' "Could not clone the repo"
fi
}