Skip to content

Instantly share code, notes, and snippets.

@rwb27
Last active October 30, 2020 18:21
Show Gist options
  • Save rwb27/9074ac87cac705eb70d390447690b25f to your computer and use it in GitHub Desktop.
Save rwb27/9074ac87cac705eb70d390447690b25f to your computer and use it in GitHub Desktop.
A simple work-around to use the excellent blang/latex Docker image from mingw on Windows
#!/bin/sh
if [[ `uname -s` == MINGW* ]];
then
#echo "MINGW Detected"
exec docker run --rm -i --net=none -v "`pwd | sed -E 's/^\/(.)\//\1:\//'`":/data blang/latex "$@"
else
#echo "Not running in MINGW"
exec docker run --rm -i --user="$(id -u):$(id -g)" --net=none -v "$PWD":/data blang/latex "$@"
fi
@rwb27
Copy link
Author

rwb27 commented Oct 18, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment