equal
deleted
inserted
replaced
|
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 |