update realip log
[brisk.git] / bin / global_mgmt.sh
1 #!/bin/bash
2 INFILE="web/Obj/brisk.conf-templ.pho"
3 LINELEN=80
4
5 #
6 #  MAIN
7 #
8 if [ $# -gt 0 ]; then
9     INFILE="$1"
10 fi
11
12 list="$(cat $INFILE | grep '^[  ]*$G_[a-zA-Z0-9_-]\+ = ' | sed 's/ = .*//g;s/^[         ]*//g;' | sort -u)"
13
14 bf=""
15 sep_orig="    GLOBAL "
16 sep="$sep_orig"
17 glo="$(for i in $list; do
18     bf_old="$bf"
19     bf="${bf}${sep}${i}"
20     bf_l="$(echo "$bf" | wc -c )"
21     if [ $bf_l -gt $LINELEN ]; then
22         echo "$bf_old;"
23         sep="$sep_orig"
24         bf="${sep}${i}"
25         sep=", "
26     else
27         sep=", "
28     fi
29 done ; echo "${bf};")"
30 echo "// ---=== GLOBALS begin ===---"
31 echo "$glo"
32 echo "// ---=== GLOBALS  end  ===---"
33
34 pri="$(for i in $list; do
35     name="$(echo "$i" | cut -c 2-)"
36     echo "    fprintf(STDERR, \"$name = [%s]\n\", print_r($i, TRUE));"
37 done)"
38
39
40 cat <<EOF
41
42 function global_dump()
43 {
44 $glo
45
46 $pri
47 }
48 EOF
49