diff options
Diffstat (limited to '.local/bin/compile')
-rwxr-xr-x | .local/bin/compile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.local/bin/compile b/.local/bin/compile new file mode 100755 index 0000000..837766b --- /dev/null +++ b/.local/bin/compile | |||
@@ -0,0 +1,14 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | # Script for automatic compilation (or interpretation) of various file types | ||
4 | # The filename needs to be passed to this script as the only argument | ||
5 | file="$1" | ||
6 | base="${file%.*}" | ||
7 | ext="${file##*.}" | ||
8 | |||
9 | case $ext in | ||
10 | mom) groff -mom -Tpdf "$file" > "$base.pdf" ;; | ||
11 | ms) groff -me -Tpdf "$file" > "$base.pdf" ;; | ||
12 | me) groff -me -Tpdf "$file" > "$base.pdf" ;; | ||
13 | py) python3 "$file" ;; | ||
14 | esac | ||