Mercurial > mplayer.hg
annotate TOOLS/TOCrenumber.sh @ 7881:aba9301ed3c4
allow cache to be disabled (-nocache should override cachesize autodetection
in stream layer)
author | arpi |
---|---|
date | Wed, 23 Oct 2002 22:07:29 +0000 |
parents | 44d0f2f7bd56 |
children | e89a7e9410b4 |
rev | line source |
---|---|
7828
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
1 #!/bin/sh |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
2 # |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
3 # Very simple tool to convert numeric TOC links to alphabetic (for translators, |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
4 # it is already done in english DOCS) |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
5 # |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
6 # Usage: |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
7 # cd DOCS/French |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
8 # ... |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
9 # TOCrenumber.sh 2.3.1.2.1 xv_3dfx |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
10 # ... |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
11 # |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
12 # by Gabucino |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
13 # |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
14 |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
15 for i in *html; do |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
16 cat $i | sed s/#$1\"/#$2\"/ > $i.new |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
17 mv -f $i.new $i |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
18 cat $i | sed s/NAME="$1"\>/NAME="$2"\>/ > $i.new |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
19 mv -f $i.new $i |
44d0f2f7bd56
small helper script for DOCS translators (to change numeric links to
gabucino
parents:
diff
changeset
|
20 done |