New language: Redis

backend/src/langs.ts

@@ -1249,6 +1249,17 @@ main = do
     compile: "bsc main.re > main.js",
     run: "NODE_PATH=/usr/lib/node_modules node main.js",
     template: `print_string("Hello, world!\\n")
+`,
+  },
+  redis: {
+    name: "Redis",
+    monacoLang: "redis",
+    repl:
+      "rm -f socket; (redis-server --port 0 --unixsocket socket &); while [[ ! -e socket ]]; do sleep 0.01; done; redis-cli -s socket",
+    main: "main.redis",
+    run:
+      "rm -f socket; (redis-server --port 0 --unixsocket socket &); while [[ ! -e socket ]]; do sleep 0.01; done; redis-cli -s socket < main.redis; redis-cli -s socket",
+    template: `ECHO "Hello, world!"
 `,
   },
   restructuredtext: {

scripts/docker-install-phase3c.bash

@@ -57,6 +57,9 @@ r-base
 # Racket
 racket
 
+# Redis
+redis
+
 # RISC-V
 gcc-riscv64-linux-gnu
 qemu-user-static