| 1 | #!/bin/sh |
| 2 | if [ "$1" ]; then |
| 3 | cd "$1" || exit |
| 4 | fi |
| 5 | git ls-files -m | grep '.pro$' | |
| 6 | while read n; do |
| 7 | if ! [ "`git diff "$n" | |
| 8 | sed '/^--- /d;/^+++ /d;/^[^-+]/d;/^.update=/d'`" ]; then |
| 9 | echo purging "$n" 1>&2 |
| 10 | git checkout "$n" |
| 11 | fi |
| 12 | done |
| 13 | |
Download this file