encoding.sh
changeset 5 9d50eeadcc33
equal deleted inserted replaced
4:d92ff57936e2 5:9d50eeadcc33
       
     1 #!/bin/bash
       
     2 
       
     3 # Tio ĉi prenas la originalajn dosierojn kaj ilin rekodigas al UTF-8 kaj
       
     4 # al uniksa liniofina stilo.
       
     5 
       
     6 
       
     7 if [ $# -ne 2 ] ; then
       
     8 	echo usage: $0 ORIGIN DEST
       
     9 	exit 1
       
    10 fi
       
    11 
       
    12 ORIGINDIR=$1
       
    13 DESTDIR=$2
       
    14 
       
    15 mkdir -p $DESTDIR
       
    16 
       
    17 for a in `seq 1 60000`; do
       
    18 	echo -n "$a ";
       
    19 	ORIGIN=$ORIGINDIR/diego$a.html
       
    20 	DEST=$DESTDIR/diego$a.html
       
    21 	if [ ! -f $ORIGIN ]; then
       
    22 		break ;
       
    23 	fi;
       
    24 
       
    25 	cat $ORIGIN | dos2unix | recode latin1..utf-8 > $DEST
       
    26 done