From 978ec1c49a7bd4b3e062cf46925357f474edfacd Mon Sep 17 00:00:00 2001 From: cos120 <1023086844@qq.com> Date: Fri, 23 Feb 2018 10:25:56 +0800 Subject: [PATCH] add alias grmi, rm files from ignore file --- plugins/git/git.plugin.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/git/git.plugin.zsh b/plugins/git/git.plugin.zsh index fa0c0650..6f20deea 100644 --- a/plugins/git/git.plugin.zsh +++ b/plugins/git/git.plugin.zsh @@ -246,3 +246,4 @@ 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 --no-verify -m "--wip-- [skip ci]"' +alias grmi='git rm --cached `git ls-files -i --exclude-from=.gitignore`'