Werner's Miscellanea
Sign in or create your account | Project List | Help
Werner's Miscellanea Git Source Tree
Root/
Source at commit 94e955811772fe342947424bd017073aa54b34e4 created 12 years 2 months ago. By Werner Almesberger, m1/ledravaganza/ramp.pl: exponential ramp generator for ledm | |
---|---|
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 |
Branches:
master