id: "mysql"
aliases:
  - "my"
name: "MySQL"

install:
  apt:
    - mysql-server
    - mysql-client
  riju:
    - sqls

repl: |
  rm -rf data
  mysqld --no-defaults -h "$PWD/data" --initialize-insecure
  (mysqld --no-defaults -h "$PWD/data" --socket="$PWD/socket" --pid-file="$PWD/pid-file" --mysqlx=OFF --skip-networking &)
  until [[ -e socket ]]; do
      sleep 0.01
  done
  mysql --socket="$PWD/socket" -u root
input: |
  SELECT 123 * 234;

main: "main.sql"
template: |
  SELECT 'Hello, world!';

run: |
  set -e
  rm -rf data
  mysqld --no-defaults -h "$PWD/data" --initialize-insecure
  (mysqld --no-defaults -h "$PWD/data" --socket="$PWD/socket" --pid-file="$PWD/pid-file" --mysqlx=OFF --skip-networking &)
  until [[ -e socket ]]; do
      sleep 0.01
  done
  (mysql --socket="$PWD/socket" -u root < main.sql; mysql --socket="$PWD/socket" -u root)

lsp:
  start: |
    sqls
  code: "TODO"
  item: "TODO"

skip:
  - lsp