| #!/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 |
| } |
| |
| function gitignore() { |
| echo ".DS_Store" >> .gitignore |
| } |