etc/profile.d/git.sh

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index add7cc3c7c282dbd0dc3043be796e6a83c28f8c1..363b871707284cdd0acabff9043d34e57cba973b 100644 (file)
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -250,7 +250,7 @@ git_push_origin() {
        git push origin --force --tags || return
 }
 
-git_rm_file() {
+git_purge_file() {
        git filter-branch --force --index-filter "git rm --cached --ignore-unmatch $1" --prune-empty --tag-name-filter cat -- --all
        echo "Now you can run git_push_origin"
 }