#!/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 | |
} |