Skip to content

Instantly share code, notes, and snippets.

@ishideo

ishideo/lein-env.cmd

Created May 15, 2018 08:27
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save ishideo/ea8c9bb1af3fb98c19cb7cc863c0ef7b to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save ishideo/ea8c9bb1af3fb98c19cb7cc863c0ef7b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lein-env.cmd
@echo off
set HTTP_CLIENT=wget --no-check-certificate -O
set HTTP_CLIENT=curl -f -L -k -o
set HTTP_PROXY=yourserver:8080
set HTTPS_PROXY=yourserver:8080
set JAVA_HOME=%~dp0
set "JAVA_OPTS=%JAVA_OPTS% -Dhttp.proxyHost=yourserver -Dhttp.proxyPort=8080 -Dhttp.proxyUser=username -Dhttp.proxyPassword=password"
set PATH=%PATH%;%JAVA_HOME%bin;%~dp0kotlinc\bin;%~dp0
cd /d "%~dp0"
cmd.exe
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment