Added local-ignore for ignoring local git files
parent
70c3b523b3
commit
034a3b0362
|
|
@ -13,3 +13,8 @@ function git_first_push {
|
||||||
function git_remove_missing_files() {
|
function git_remove_missing_files() {
|
||||||
git ls-files -d -z | xargs -0 git update-index --remove
|
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
|
||||||
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue