Commit 31118b23 authored by Jonas Busse's avatar Jonas Busse

Update drhaskell-lint.bat

parent c1ea8264
Pipeline #217 failed with stage
@echo off
REM @FOR /f "tokens=*" %i IN ('docker-machine env dev') DO @%i
docker run -e DRHASKELLHOSTPATH=%cd% --rm -v %cd%:/tmp/drhaskell-src -it jonasbusse/drhaskell drhaskell-lint %1 %2 %3
\ No newline at end of file
setlocal EnableDelayedExpansion
FOR %%a IN (%*) DO (
if exist %%a set VDOSPATH=%%~dpa
if exist %%a set VDOSFILE=%%~nxa
)
docker run -e DRHASKELLHOSTPATH=%VDOSPATH% --rm -v %VDOSPATH%:/tmp/drhaskell-src jonasbusse/drhaskell drhaskell-lint %*
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment