blob: 33c024585cc8b307aeaca4796eb5ad01086a90f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
#!/bin/bash
# This script edits the file:
# /etc/mysql/mariadb.conf.d/50-server.cnf
# The config file will set
# the server-id to
# the server-id of
# the running MariaDB server.
# The config file is assumed to look like
# the default Debian configuration file
# approximately.
# MariaDB will break if the user
# has set the server-id in another file.
set -o pipefail
set -e
PATH=$(dirname "$0"):$PATH
source rpc.bash
use_real_config()
{
MARIADB_CONFIG_FILE=/etc/mysql/mariadb.conf.d/50-server.cnf
}
use_fake_config()
{
use_real_config
OUR_RUNTIME_DIR=/run/hosting-tools
mkdir -p "$OUR_RUNTIME_DIR"
REAL_MARIADB_CONFIG_FILE=$MARIADB_CONFIG_FILE
FAKE_MARIADB_CONFIG_FILE=$OUR_RUNTIME_DIR/50-server.cnf
cp -i -a -T -- "$REAL_MARIADB_CONFIG_FILE" "$FAKE_MARIADB_CONFIG_FILE"
MARIADB_CONFIG_FILE=$FAKE_MARIADB_CONFIG_FILE
}
remove_fake_config()
{
rm -f /run/hosting-tools/50-server.cnf
}
get_mariadb_server_id_from_config()
{
set -- 's/^ *server-id *= *([^ ]+) *$/\1/p'
sed -n -E -e "$1" < "${MARIADB_CONFIG_FILE}"
}
valid_server_id()
{
case "$newid" in
'' | *[^0-9]* ) false ;;
* ) [ "$newid" -ge 1 ] ;;
esac
}
set_mariadb_server_id_config()
{
OUR_SUFFIX='.~hosting-tools~'
MARIADB_CONFIG_FILE_BACKUP=$MARIADB_CONFIG_FILE$OUR_SUFFIX
newid=$1
if ! valid_server_id "$newid"
then
echo "Error: Invalid server-id: $newid" >&2
return 9
fi
if grep -q '^ *server-id *=' "$MARIADB_CONFIG_FILE"
then
set -- s/'^( *server-id *= *)[^ ]+ *$'/'\1'"$newid"/
else
set -- s/'^#( *server-id *= *)1 *$'/'\1'"$newid"/
fi
set -- sed -E -i"${OUR_SUFFIX}" -e "$1"
"$@" "$MARIADB_CONFIG_FILE"
}
run_server()
{
local BASH_RPC_REMOTE_DEST="$1"
shift
remote_run_function "$@"
}
main()
{
set -e
set -o pipefail
runtime_server_id=$(mariadb -s <<< 'select @@server_id')
if false
then
use_fake_config
else
use_real_config
fi
config_server_id=$(get_mariadb_server_id_from_config)
if [ "$runtime_server_id" = "$config_server_id" ]
then
printf 'Warning: %s\n' \
"server-id is already correct. Doing nothing." >&2
remove_fake_config
return
fi
set_mariadb_server_id_config "$runtime_server_id"
set +e
validate_new_server_id "$runtime_server_id"
r=$?
interactive_show_config_change
if [ "$r" = 0 ]
then
remove_fake_config
fi
return $r
}
interactive_show_config_change()
{
(
set +e
diff -u --color \
"$MARIADB_CONFIG_FILE_BACKUP" \
"$MARIADB_CONFIG_FILE"
[ $? = 1 ]
)
}
validate_new_server_id()
{
expected=$1
received=$(get_mariadb_server_id_from_config)
if [ "$expected" = "$received" ]
then
printf 'Success: %s: server-id = %s\n' \
"wrote MariaDB config" \
"$received" >&2
else
printf 'Error: %s: server-id = %s\n' \
"failed to write MariaDB config" \
"$received" >&2
false
fi
}
run_server "${1:-root@localhost}" main
|
