Skip to content

Instantly share code, notes, and snippets.

@nottrobin

nottrobin/git-prune

Created June 11, 2013 16:10
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save nottrobin/5758221 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save nottrobin/5758221 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. nottrobin created this gist Jun 11, 2013.
    24 changes: 24 additions & 0 deletions git-prune
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,24 @@
    #!/bin/bash
    set -o errexit

    # Author: David Underhill
    # Script to permanently delete files/folders from your git repository. To use
    # it, cd to your repository's root and then run the script with a list of paths
    # you want to delete, e.g., git-delete-history path1 path2

    if [ $# -eq 0 ]; then
    exit 0
    fi

    # make sure we're at the root of git repo
    if [ ! -d .git ]; then
    echo "Error: must run this script from the root of a git repository"
    exit 1
    fi

    # remove all paths passed as arguments from the history of the repo
    files=$@
    git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD

    # remove the temporary history git-filter-branch otherwise leaves behind for a long time
    rm -rf .git/refs/original/ && git reflog expire --all && git gc --aggressive --prune