annotate TOOLS/TOCrenumber.sh @ 10578:b9d289fd8a57

10000l, the old code was slow as hell, copying stuff extra times and actually broken -- blanking the whole screen at each 'page flip' with -dr enabled. benchmarks: before: 56% cpu for decode 56% cpu for vo with no -dr 25% cpu for vo with -dr after: 56% cpu for decode 25% cpu for vo without -dr 0% cpu for vo with -dr if vo_fbdev is going to do pageflip, it needs to do it for REAL, using vertical scroll registers (like g2), not copying a temp buffer (which will shear anyway and is super-slow).
author rfelker
date Tue, 12 Aug 2003 08:24:24 +0000
parents e89a7e9410b4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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:
10286
e89a7e9410b4 Add missing language suffix to DOCS/ path.
diego
parents: 7828
diff changeset
7 # cd DOCS/fr/
7828
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