annotate help/help_diff.sh @ 25661:293aeec83153

Replace the persistent CODECS_FLAG_SELECTED by a local "stringset" with an almost-trivial implementation. This allows making the builtin codec structs const, and it also makes clearer that this "selected" status is not used outside the init functions.
author reimar
date Sat, 12 Jan 2008 14:05:46 +0000
parents 60c71a89cd76
children 3ff3bd9bf0f9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8538
6973e76d95b2 In this situation it was easier to fix yours. I applied these 3 points
arpi
parents: 7484
diff changeset
1 #!/bin/sh
6285
0b73c83bc47f automatically adding untranslated messages to help_mp.h from english master file
arpi
parents:
diff changeset
2
10648
96170748b6a9 Reversed + changed grep -q to grep > /dev/null 2>&1. -q is a GNU extension
diego
parents: 10636
diff changeset
3 # This script walks through the master (stdin) help/message file, and
96170748b6a9 Reversed + changed grep -q to grep > /dev/null 2>&1. -q is a GNU extension
diego
parents: 10636
diff changeset
4 # prints (stdout) only those messages which are missing from the help
96170748b6a9 Reversed + changed grep -q to grep > /dev/null 2>&1. -q is a GNU extension
diego
parents: 10636
diff changeset
5 # file given as parameter ($1).
6285
0b73c83bc47f automatically adding untranslated messages to help_mp.h from english master file
arpi
parents:
diff changeset
6 #
10648
96170748b6a9 Reversed + changed grep -q to grep > /dev/null 2>&1. -q is a GNU extension
diego
parents: 10636
diff changeset
7 # Example: help_diff.sh help_mp-hu.h < help_mp-en.h > missing.h
6285
0b73c83bc47f automatically adding untranslated messages to help_mp.h from english master file
arpi
parents:
diff changeset
8
19455
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
9 curr=""
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
10
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
11 while read -r line; do
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
12 if echo "$line" | grep '^#define' > /dev/null 2>&1; then
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
13 curr=`printf "%s\n" "$line" | cut -d ' ' -f 2`
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
14 if grep "^#define $curr[ ]" $1 > /dev/null 2>&1; then
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
15 curr=""
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
16 fi
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
17 else
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
18 if [ -z "$line" ]; then
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
19 curr=""
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
20 fi
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
21 fi
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
22
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
23 if [ -n "$curr" ]; then
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
24 printf "%s\n" "$line"
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
25 fi
60c71a89cd76 Ouch, I mistakenly overwrote the contents from this file with a non-working
diego
parents: 19449
diff changeset
26 done