Setup script for mariadb_kernel in TLJH

setup.sh

#!/bin/bash

port=3306

for dir in /home/*;
do
        echo $dir

        rm -rf $dir/datadir $dir/.jupyter/mariadb_config.json $dir/.my.cnf

        username=`echo $dir | cut -d'/' -f3`

        sudo -u $username mkdir -p $dir/.jupyter

        sudo -u $username echo "
        {
                \"user\": \"root\",
                \"host\": \"localhost\",
                \"port\": \"$port\",
                \"password\": \"\",
                \"start_server\": \"True\",
                \"client_bin\": \"mysql\",
                \"server_bin\": \"mysqld\",
                \"db_init_bin\": \"mysql_install_db\",
                \"server_datadir\": \"$dir/datadir\",
                \"socket\": \"$dir/mysqld-dbg.sock\",
                \"server_pid\": \"$dir/mysqld.pid\"
        }" > $dir/.jupyter/mariadb_config.json

        port=$((port + 1))
done