Add TeX

backend/src/langs.ts

@@ -1005,6 +1005,16 @@ END
     main: ".tcshrc",
     run: `SHELL=/usr/bin/tcsh HOME="$PWD" tcsh`,
     template: `echo "Hello, world!"
+`,
+  },
+  tex: {
+    aliases: ["latex", "xetex", "plaintex"],
+    name: "TeX",
+    monacoLang: "plaintext",
+    repl: "tex",
+    main: "main.tex",
+    run: "tex main.tex",
+    template: `\\message{Hello, world!}
 `,
   },
   typescript: {

scripts/docker-install-phase2.bash

@@ -15,6 +15,7 @@ python3-pip
 yarn
 
 # Handy utilities
+apt-file
 bsdmainutils
 curl
 emacs-nox
@@ -24,6 +25,7 @@ jq
 lsof
 make
 man-db
+moreutils
 nano
 sudo
 tmux

scripts/docker-install-phase3d.bash

@@ -37,6 +37,9 @@ tcl
 # Tcsh
 tcsh
 
+# TeX
+texlive-binaries
+
 # Unlambda
 unlambda