new aliases to configure the local repo git user

This commit is contained in:
MorganGeek
2020-07-23 07:26:33 +02:00
parent 0b19d1261d
commit f9d012072d
3 changed files with 11 additions and 1 deletions

View File

@ -319,7 +319,8 @@ function checkenlist() {
}
function checkenremote() {
curl --location --insecure --silent "$1" > /tmp/file && checkenlist /tmp/file && write-good --no-passive /tmp/file && proselint /tmp/file && \cat /tmp/file > alex -q --stdin
local target_url=$(echo "$1" | sed 's/github.com/raw.githubusercontent.com/g' | sed 's;blob/;;')
curl --location --insecure --silent "$target_url" > /tmp/file && checkenlist /tmp/file && write-good --no-passive /tmp/file && proselint /tmp/file && \cat /tmp/file > alex -q --stdin
}
# Time management
@ -502,8 +503,10 @@ function setorigin() {
arrow "copying pre-commit hooks ..."
if [[ "$1" =~ "$COMPANY_NAME" ]]; then
copyhooks
gitpro
else
copyhooks "$HOME/.git-template/.pre-commit-minimal-config.yaml"
gitperso
fi
}
function gitpushcurrentremote() {
@ -533,8 +536,10 @@ function clone() {
arrow "copying pre-commit hooks ..."
if [[ "$1:u" =~ "$COMPANY_NAME:u" ]]; then
copyhooks
gitpro
else
copyhooks "$HOME/.git-template/.pre-commit-minimal-config.yaml"
gitperso
fi
else
error "unable to change current directory to : $folder"