3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-07-17 06:47:18 +00:00
This commit is contained in:
Jonathan 2020-10-05 14:08:18 +00:00
parent 58eb6a3b74
commit d633333d7d
3 changed files with 28 additions and 1 deletions

17
mysql-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