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 | ||
