Scripts
Re-usable Bash scripts. Copy/paste the contents of a script below into a .sh file and run chmod +x <name-of-file>.sh to make it executable.
Prune git branches
After deleting a git branch from a remote, the local copy will still exist. Delete/“prune” all local git branches that do not exist on the remote:
#!/bin/bash
git fetch -p && for branch in $(git for-each-ref --format '%(refname) %(upstream:track)' refs/heads | awk '$2 == "[gone]" {sub("refs/heads/", "", $1); print $1}'); do git branch -D $branch; done
exit $?Last updated on