mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-04-24 04:29:25 +02:00
better way to delete removed files from git
This commit is contained in:
parent
f0e52df686
commit
8283745719
1 changed files with 1 additions and 2 deletions
|
|
@ -216,7 +216,6 @@ alias glum='git pull upstream master'
|
|||
alias gwch='git whatchanged -p --abbrev-commit --pretty=medium'
|
||||
alias gwip='git add -A; git rm $(git ls-files --deleted) 2> /dev/null; git commit -m "--wip--"'
|
||||
|
||||
# Remove from repo all files deleted
|
||||
alias gitstrm="git st | egrep 'deleted' | sed -e 's/#//' -e 's/deleted:/git rm/' | sh"
|
||||
alias gitrmdeleted="git ls-files --deleted -z | xargs -0 git rm -r"
|
||||
|
||||
alias gitgcprune="git remote prune origin ; git gc --prune --aggressive"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue