commit 7628290d098c125a9598b88dbe122cd5770cc052 parent 0d6583cfee15870f22687e7048abfd415b19a606 Author: Antoine Amarilli <antoine.amarilli@ens.fr> Date: Thu, 3 Jun 2010 13:49:46 +0200 Script pour trouver les pages manquantes. Diffstat:
missing.sh | | | 3 | +++ |
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/missing.sh b/missing.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +for a in $(cat *.42 | grep '^\.BR' | grep '(42)' | perl -pi -e 's/.BR .*?([-a-zA-Z0-9_]+)\s*\(42\).*/$1/'); do if [ ! -f $a.42 ]; then echo $a; fi; done | sort | uniq -c | sort -n