Root/bin/purge

Source at commit 1d4b89ec4f453cbdfdff8667b16b634fe0be251f created 12 years 6 months ago.
By Werner Almesberger, labsw/mech/font.fpd: increased banana jack hole from 6 mm to 8 mm
1#!/bin/sh
2if [ "$1" ]; then
3    cd "$1" || exit
4fi
5git 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

Archive Download this file

Branches:
master



interactive