esolang/tex
Easily execute TeX (plain) programming language
65
This image is a part of esolang-box 2.4.0.
esolang-box project aims to provide easy and normalized interface for many (currently 227 (!)) programming languages by Docker, especially to uncommon esoteric programming languages.
The implementation and interpreter of language TeX (plain) is included in this image and
can be invoked by the simple one command tex
.
(it's also an alias of script
command, so you can use either.)
This script accepts standard input as the input of program and the first argument as program code file. The output of the script will be printed into standard output. This convension is shared between all esolang-box images, so you can use another language easily.
Supposing you have hello world script hello.tex
in the current directory like this:
$ cat hello.tex
\write0{Hello, World!}
\end
You can execute it with the following command:
$ docker run --rm -v "$PWD":/code:ro esolang/tex tex /code/hello.tex
Hello, World!
$ docker run -i --rm -v "$PWD":/code:ro esolang/tex tex /code/hello.tex < input.txt
$ docker run -it --rm -v "$PWD":/code:ro esolang/tex sh
# tex /code/hello.tex
Hello, World!
esolang-box 2.4.0 supports tracing of execve
and execveat
syscalls by strace command.
Setting STRACE_OUTPUT_PATH
environment variables and enabling ptrace will produce strace log to the specified path.
$ docker run --cap-add=SYS_PTRACE --rm -v "$PWD":/code --env STRACE_OUTPUT_PATH=/code/strace.txt esolang/tex tex /code/hello.tex
Hello, World!
Some considerations:
--cap-add=SYS_PTRACE
(especially you must not use it with Xenial).docker pull esolang/tex