Skip to content

Instantly share code, notes, and snippets.

@tatumroaquin
Last active May 17, 2022 04:43
Show Gist options
  • Select an option

  • Save tatumroaquin/2bf1d4e6dc36d4dd477bce1abf3af5d6 to your computer and use it in GitHub Desktop.

Select an option

Save tatumroaquin/2bf1d4e6dc36d4dd477bce1abf3af5d6 to your computer and use it in GitHub Desktop.

Revisions

  1. muxocrypt revised this gist May 17, 2022. 1 changed file with 11 additions and 5 deletions.
    16 changes: 11 additions & 5 deletions compiler.sh
    Original file line number Diff line number Diff line change
    @@ -3,8 +3,9 @@
    if [ -e "$1" ] ; then
    file=$(readlink -f "$1")
    dir=${file%/*}
    base="${file%.*}"
    ext="${file##*.}"
    base=${file##*/}
    name=${base%.*}
    ext=${file##*.}
    else
    name=`basename "$0"`
    echo "usage: $name <file>"
    @@ -16,7 +17,12 @@ cd "$dir" || exit
    case "$ext" in
    cpp) cc "$file" -o "$base" && "$base"
    ;;
    tex) xelatex --output-directory="$dir" "$base" &&
    xelatex --output-directory="$dir" "$base"
    tex) xelatex --output-directory="$dir" "$name" &&
    xelatex --output-directory="$dir" "$name"
    ;;
    esac
    : '
    WSL2
    tex) xelatex.exe "$name" && xelatex.exe "$name"
    ;;
    '
    esac
  2. muxocrypt created this gist Mar 17, 2022.
    22 changes: 22 additions & 0 deletions compiler.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,22 @@
    #!/usr/bin/env zsh

    if [ -e "$1" ] ; then
    file=$(readlink -f "$1")
    dir=${file%/*}
    base="${file%.*}"
    ext="${file##*.}"
    else
    name=`basename "$0"`
    echo "usage: $name <file>"
    exit
    fi

    cd "$dir" || exit

    case "$ext" in
    cpp) cc "$file" -o "$base" && "$base"
    ;;
    tex) xelatex --output-directory="$dir" "$base" &&
    xelatex --output-directory="$dir" "$base"
    ;;
    esac