3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-05-20 16:25:03 +00:00

switch to mariadb

This commit is contained in:
Jonathan 2020-10-05 13:52:32 +00:00
parent 611b577d03
commit 60dcf53bbb
3 changed files with 48 additions and 6 deletions

17
mariadb-bashrc-launch.sh Normal file
View file

@ -0,0 +1,17 @@
#!/bin/bash
# this script is intended to be called from .bashrc
# This is a workaround for not having something like supervisord
if [ ! -e /var/run/mariadb/gitpod-init.lock ]
then
touch /var/run/mariadb/gitpod-init.lock
# initialize database structures on disk, if needed
[ ! -d /workspace/mariadb ] && mariadb --initialize-insecure
# launch database, if not running
[ ! -e /var/run/mariadb/mariadb.pid ] && mariadb --daemonize
rm /var/run/mariadb/gitpod-init.lock
fi