Create a .gitpod.dockerfile and then restart workspace
FROM gitpod/workspace-mysql
if still can't find mysql command, directly install mysql-server
sudo apt install mysql-server
check gitpod workspace url for 3306 port
gp url 3306
sudo mysql
create database sampledb;
create user 'sampledb_dba'@'%' identified by 'BG3V9Z47GLSAX6CGSAG4QLHM';
grant all on sampledb.* to 'sampledb_dba'@'%';
flush privileges;