diff options
author | root <root@vps-18a7a2b7.vps.ovh.ca> | 2024-01-23 15:22:33 -0500 |
---|---|---|
committer | root <root@vps-18a7a2b7.vps.ovh.ca> | 2024-01-23 15:22:33 -0500 |
commit | 43d9122dd5a7bb884961b3bd63486dc22ae0cfd6 (patch) | |
tree | e8a3523ee5d8525594c67c56a60338ac543df342 /src | |
parent | 75b6dd1b09e03e4733c0dde6d90db78ffe6510e9 (diff) |
improve comments
Diffstat (limited to 'src')
-rwxr-xr-x | src/mariadb-persist-server-id | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/mariadb-persist-server-id b/src/mariadb-persist-server-id index 932552f..33c0245 100755 --- a/src/mariadb-persist-server-id +++ b/src/mariadb-persist-server-id | |||
@@ -1,4 +1,15 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | # This script edits the file: | ||
3 | # /etc/mysql/mariadb.conf.d/50-server.cnf | ||
4 | # The config file will set | ||
5 | # the server-id to | ||
6 | # the server-id of | ||
7 | # the running MariaDB server. | ||
8 | # The config file is assumed to look like | ||
9 | # the default Debian configuration file | ||
10 | # approximately. | ||
11 | # MariaDB will break if the user | ||
12 | # has set the server-id in another file. | ||
2 | set -o pipefail | 13 | set -o pipefail |
3 | set -e | 14 | set -e |
4 | PATH=$(dirname "$0"):$PATH | 15 | PATH=$(dirname "$0"):$PATH |
@@ -126,5 +137,3 @@ validate_new_server_id() | |||
126 | } | 137 | } |
127 | 138 | ||
128 | run_server "${1:-root@localhost}" main | 139 | run_server "${1:-root@localhost}" main |
129 | |||
130 | # /etc/mysql/mariadb.conf.d/50-server.cnf | ||