Open kumarshantanu opened 10 years ago
@kumarshantanu I'm all for it but I am the last person you want to maintain a batch script. Are you volunteering? ;)
(No Windows access at the moment - will try later.)
@michaelklishin Do you think it is reasonable to ask users to set LEIN_HOME
instead of supplying a patched script? Bundling original scripts (BASH and Batch) would have no overhead.
@kumarshantanu I've thought of this, relying on LEIN_HOME
is more conflict-prone. So using origin directory is good enough for me and offers predictable results.
@michaelklishin Understood. How about putting in install.sh
and install.bat
scripts that simply copy the JAR into ${LEIN_HOME:-"$HOME/.lein"}/self-installs
? Just a thought.
Please consider adding the Windows batch script to the repo.