New language: MySQL

Good god why do these people make it so hard for me

backend/src/langs.ts

@@ -979,6 +979,15 @@ message:
     template: `main()
   write "Hello, world!",!
   quit
+`,
+  },
+  mysql: {
+    aliases: ["my"],
+    name: "MySQL",
+    repl: `rm -rf data && mysqld -h "$PWD/data" --initialize-insecure && (mysqld -h "$PWD/data" --socket="$PWD/socket" --pid-file="$PWD/pid-file" --mysqlx=OFF --skip-networking &) && while [[ ! -e socket ]]; do sleep 0.01; done && mysql --socket="$PWD/socket" -u root`,
+    main: "main.sql",
+    run: `rm -rf data && mysqld -h "$PWD/data" --initialize-insecure && (mysqld -h "$PWD/data" --socket="$PWD/socket" --pid-file="$PWD/pid-file" --mysqlx=OFF --skip-networking &) && while [[ ! -e socket ]]; do sleep 0.01; done && (mysql --socket="$PWD/socket" -u root < main.sql; mysql --socket="$PWD/socket" -u root)`,
+    template: `SELECT 'Hello, world!'
 `,
   },
   nim: {

scripts/docker-install-phase3c.bash

@@ -13,6 +13,9 @@ qemu-user-static
 # MUMPS
 fis-gtm
 
+# MySQL
+mysql-server
+
 # Nim
 nim
 
@@ -79,4 +82,6 @@ apt-get update
 apt-get install -y $(grep -v "^#" <<< "$packages")
 rm -rf /var/lib/apt/lists/*
 
+rm /etc/mysql/mysql.conf.d/mysqld.cnf
+
 rm "$0"