the enable_gtid script does not enable the features durably

[Giuseppe Maxia]

The script restarts the servers with new options, but the options are not durable. It should be rewritten in such a way that it looks like:

#!/bin/bash
cd /home/tungsten/sandboxes/rsandbox_5_7_1
OPTIONS="master-info-repository=table relay-log-info-repository=table gtid_mode=ON log-slave-updates enforce-gtid-consistency"
for NODE in master node1 node2
do
    for OPTION in $OPTIONS
    do
        echo "$OPTION" >> $NODE/my.sandbox.cnf
    done
done
./restart_all