#!/bin/sh # convertir les fichier gif en png for i in `find -name "*\.gif"` ; do f=`echo $i|sed s/\.gif//` [ -f $f.png ] || convert $f.gif $f.png [ -f $f.gif ] && rm -f $f.gif done # remplacer les occurences gif" en png" for i in `rgrep -l "gif\"" ./*` ; do [ "$i" != "$0" ] && { sed s/gif\"/png\"/g < $i > $i.tmp mv -f $i.tmp $i } done # remplacer les occurences gif' en png' for i (…)

#!/bin/sh #imprimer un document du web genere par latex2html [ $# -eq 3 ] || { echo "usage $0 url nom_du_node node_finale" exit } url=$1 node=$2 # nom du node end=$3 # numero du node final fic_temp=/tmp/import echo -n "$url " > $fic_temp for i in `seq 1 $end` do echo -n "${url}${node}${i}.html " >> $fic_temp done htmldoc --no-title --no-toc --outfile $fic_temp.ps `cat $fic_temp` psnup -2 $fic_temp.ps $fic_temp-2.ps gv $fic_temp-2.ps # -------------------------------------------------------------------------------------------- #!/bin/sh # faire de l'impression recto verso avec (…)