Skip to content

GitLab

Commit 675ba10c authored by Jonas Busse's avatar Jonas Busse
Browse files
Options

some changes in linux and unix dockercalls. need to modify windows scripts also

parent e3895853
Pipeline #180 canceled with stage
    Hide whitespace changes
    Inline Side-by-side
    Showing with 24 additions and 4 deletions
    dockercalls/drhaskell-lint.bat
    View file @ 675ba10c
    @echo off
    REM @FOR /f "tokens=*" %i IN ('docker-machine env dev') DO @%i
    docker run -e DRHASKELLHOSTPATH=%cd% -v %cd%:/tmp/drhaskell-src -it jonasbusse/drhaskell drhaskell-lint %1 %2 %3
    \ No newline at end of file
    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
    dockercalls/drhaskell-lint.sh
    View file @ 675ba10c
    #!/bin/bash
    dname=""
    for arg in "$@"
    do
    if [ -e $arg ]
    then
    dname=$(dirname "$arg")
    fi
    done
    eval $(docker-machine env)
    docker run -e DRHASKELLHOSTPATH=$(pwd) -v $(pwd)/:/tmp/drhaskell-src -it jonasbusse/drhaskell:latest drhaskell-lint $1 $2 $3
    \ No newline at end of file
    docker run -e DRHASKELLHOSTPATH="$dname" -v "$dname"/:/tmp/drhaskell-src --rm -it jonasbusse/drhaskell:latest drhaskell-lint "$@"
    \ No newline at end of file
    dockercalls/drhaskell.bat
    View file @ 675ba10c
    @echo off
    REM @FOR /f "tokens=*" %i IN ('docker-machine env dev') DO @%i
    docker run -v %cd%:/tmp/drhaskell-src -it jonasbusse/drhaskell drhaskell
    \ No newline at end of file
    docker run -v %cd%:/tmp/drhaskell-src --rm -it jonasbusse/drhaskell drhaskell
    \ No newline at end of file
    dockercalls/drhaskell.sh
    View file @ 675ba10c
    #!/bin/bash
    eval $(docker-machine env)
    docker run -v $(pwd)/:/tmp/drhaskell-src -it jonasbusse/drhaskell:latest drhaskell
    \ No newline at end of file
    docker run -v $(pwd)/:/tmp/drhaskell-src --rm -it jonasbusse/drhaskell:latest drhaskell "$@"
    \ No newline at end of file
    dockercalls/linux-drhaskell-lint.sh 0 → 100755
    View file @ 675ba10c
    #!/bin/bash
    dname=""
    for arg in "$@"
    do
    if [ -e $arg ]
    then
    dname=$(dirname "$arg")
    fi
    done
    docker run -e DRHASKELLHOSTPATH="$dname" -v "$dname"/:/tmp/drhaskell-src --rm -it jonasbusse/drhaskell:latest drhaskell-lint "$@"
    \ No newline at end of file
    dockercalls/linux-drhaskell.sh 0 → 100755
    View file @ 675ba10c
    #!/bin/bash
    sudo docker run -v $(pwd)/:/tmp/drhaskell-src --rm -it jonasbusse/drhaskell:latest drhaskell "$@"
    \ 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