#!/bin/csh -f # # felipe@diro # pour le TP du camp informatique if ($#argv != 1) then echo "usage " exit endif cat $1 | awk 'BEGIN {ok=0} /DEBUT DU FICHIER/ {ok = 1} /FIN DU FICHIER/ {ok=0} {if (ok>10) print $0; else if (ok) ok++}'