diff --git a/backend/src/langs.ts b/backend/src/langs.ts index 3859c38..eeabee9 100644 --- a/backend/src/langs.ts +++ b/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: { diff --git a/scripts/docker-install-phase2.bash b/scripts/docker-install-phase2.bash index ac8fdf2..37d96fd 100755 --- a/scripts/docker-install-phase2.bash +++ b/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 diff --git a/scripts/docker-install-phase3d.bash b/scripts/docker-install-phase3d.bash index dca024b..6ff69b4 100755 --- a/scripts/docker-install-phase3d.bash +++ b/scripts/docker-install-phase3d.bash @@ -37,6 +37,9 @@ tcl # Tcsh tcsh +# TeX +texlive-binaries + # Unlambda unlambda