20 lines
490 B
Bash
20 lines
490 B
Bash
#!/bin/bash
|
|
|
|
function git_remote {
|
|
echo "Running: git remote add origin ${GIT_HOSTING}:$1.git"
|
|
git remote add origin $GIT_HOSTING:$1.git
|
|
}
|
|
|
|
function git_first_push {
|
|
echo "Running: git push origin master:refs/heads/master"
|
|
git push origin master:refs/heads/master
|
|
}
|
|
|
|
function git_remove_missing_files() {
|
|
git ls-files -d -z | xargs -0 git update-index --remove
|
|
}
|
|
|
|
# Adds files to git's exclude file (same as .gitignore)
|
|
function local-ignore() {
|
|
echo "$1" >> .git/info/exclude
|
|
} |