Mercurial > hg > anonet-resdb

annotate configure @ 764:b7e62d7be4df draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge commit '878cb53c4f76135dffe74ad1452a541ead04f9b3'
author Nick <nick@somerandomnick.ano>
date Tue, 15 Nov 2011 19:33:12 +0000
parents fd1945470e54
children f0b58a1a7afd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
357
2f379a0b6461 Revert "Added git path (Atiti)"
Nick <nick@somerandomnick.ano>
parents: 356
diff changeset
1 #!/bin/sh
9
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
2
622
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
3 vars="gitd_ip gitd_basepath git_name git_email tinydns_config tinydns__rootsrvrname tinydns__rootsrvrip tinydns__tldsrvrname tinydns__tldsrvrip"
9
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
4
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
5 echo "Welcome to the resdb configurator!" >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
6 echo >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
7
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
8 for var in $vars ; do
12
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
9 export "$var"="$(cat conf/$var 2>/dev/null)"
9
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
10 done
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
11 if [ x"$gitd_basepath" = x ]; then
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
12 gitd_basepath="$(pwd)/"
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
13 fi
287
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
14 if [ x"$git_name" = x ]; then
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
15 git_name="Anonymous Coward"
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
16 fi
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
17 if [ x"$git_email" = x ]; then
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
18 git_email="nobody@nowhere"
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
19 fi
12
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
20 if [ x"$tinydns_config" = x ]; then
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
21 tinydns_config=n
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
22 fi
622
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
23 if [ x"$tinydns__rootsrvrname" = x ]; then
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
24 tinydns__rootsrvrname="uz5hn5hz5x5bp09p5z2806x4gngcw1k5j2wk88fuvkth5pp2hw4t2d.rootns.somerandomnick.ano"
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
25 fi
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
26 if [ x"$tinydns__rootsrvrip" = x ]; then
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
27 tinydns__rootsrvrip="1.0.27.39"
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
28 fi
12
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
29 if [ x"$tinydns__tldsrvrname" = x ]; then
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
30 tinydns__tldsrvrname="uz5fvb7zdqyuz4q8ysjdfuf04kzd2lrt0l6fp4uyguxdg5tfut06ck.anons.somerandomnick.ano"
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
31 fi
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
32 if [ x"$tinydns__tldsrvrip" = x ]; then
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
33 tinydns__tldsrvrip="1.0.27.37"
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
34 fi
9
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
35
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
36 echo "Please enter the IP address you'd like gitd to listen on." >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
37 echo "(Default: $gitd_ip)" >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
38 echo -n "IP? " >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
39 read new_gitd_ip
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
40 if [ x"$new_gitd_ip" != x ]; then
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
41 gitd_ip="$new_gitd_ip"
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
42 fi
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
43
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
44 echo "Please enter the full path to resdb." >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
45 echo "(Default: $gitd_basepath)" >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
46 echo -n "BasePath? " >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
47 read new_gitd_basepath
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
48 if [ x"$new_gitd_basepath" != x ]; then
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
49 gitd_basepath="$new_gitd_basepath"
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
50 fi
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
51
287
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
52 echo "Please enter your name." >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
53 echo "(Default: $git_name)" >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
54 echo -n "Name? " >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
55 read new_git_name
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
56 if [ x"$new_git_name" != x ]; then
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
57 git_name="$new_git_name"
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
58 fi
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
59
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
60 echo "Please enter your email." >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
61 echo "(Default: $git_email)" >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
62 echo -n "Email? " >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
63 read new_git_email
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
64 if [ x"$new_git_email" != x ]; then
288
2e7d34122df5 fixed a bug preventing the previous commit from working right
Nick <nick@somerandomnick.ano>
parents: 287
diff changeset
65 git_email="$new_git_email"
287
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
66 fi
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
67
12
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
68 echo -n "Would you like to configure the tinydns datafile generator? " >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
69 read new_tinydns_config
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
70 if [ x"$new_tinydns_config" != x ]; then
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
71 tinydns_config="$new_tinydns_config"
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
72 fi
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
73 if [ x"$tinydns_config" = xy ]; then
622
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
74 echo "Please enter the hostname of your root nameserver." >&2
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
75 echo "(Default: $tinydns__rootsrvrname)" >&2
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
76 echo -n "RootSrvName? " >&2
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
77 read new_tinydns__rootsrvrname
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
78 if [ x"$new_tinydns__rootsrvrname" != x ]; then
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
79 tinydns__rootsrvrname="$new_tinydns__rootsrvrname"
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
80 fi
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
81
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
82 echo "Please enter the IP address of your root nameserver." >&2
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
83 echo "(Default: $tinydns__rootsrvrip)" >&2
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
84 echo -n "RootSrvIP? " >&2
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
85 read new_tinydns__rootsrvrip
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
86 if [ x"$new_tinydns__rootsrvrip" != x ]; then
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
87 tinydns__rootsrvrip="$new_tinydns__rootsrvrip"
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
88 fi
fd1945470e54 added nameserver_autogen for root nameserver
Nick <nick@somerandomnick.ano>
parents: 357
diff changeset
89
12
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
90 echo "Please enter the hostname of your .ano TLD server." >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
91 echo "(Default: $tinydns__tldsrvrname)" >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
92 echo -n "TLDSrvName? " >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
93 read new_tinydns__tldsrvrname
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
94 if [ x"$new_tinydns__tldsrvrname" != x ]; then
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
95 tinydns__tldsrvrname="$new_tinydns__tldsrvrname"
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
96 fi
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
97
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
98 echo "Please enter the IP address of your .ano TLD server." >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
99 echo "(Default: $tinydns__tldsrvrip)" >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
100 echo -n "TLDSrvIP? " >&2
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
101 read new_tinydns__tldsrvrip
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
102 if [ x"$new_tinydns__tldsrvrip" != x ]; then
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
103 tinydns__tldsrvrip="$new_tinydns__tldsrvrip"
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
104 fi
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
105 fi
41b330b11a33 coded a tinydns datafile generator
Nick <nick@somerandomnick.ano>
parents: 9
diff changeset
106
9
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
107 echo "Proposed configuration:" >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
108 for var in $vars ; do
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
109 echo "$var=${!var}" >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
110 done
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
111 echo -n "To write the configuration, hit RETURN. To abort, hit ^C: " >&2
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
112 read write_config
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
113
287
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
114 echo -n "Writing configuration... " >&2
9
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
115 mkdir -p conf || exit 1
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
116 for var in $vars ; do
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
117 echo "${!var}" > conf/"$var" || exit 1
8f9565400a0f added configure script (so you don't have to modify gitd itself)
Nick <nick@somerandomnick.ano>
parents:
diff changeset
118 done
287
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
119 echo "Done" >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
120
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
121 echo -n "Updating git configuration... " >&2
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
122 cd "$(cat ./conf/gitd_basepath)" || exit 1
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
123 git config user.name "$(cat ./conf/git_name)" || exit 1
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
124 git config user.email "$(cat ./conf/git_email)" || exit 1
b295bc1fe853 updated configure script to help hide identity
Nick <nick@somerandomnick.ano>
parents: 12
diff changeset
125 echo "Done" >&2