update mill.bat to handle -native extension

[lihaoyi]

No description provided.

[lihaoyi]

The download logic and url/path mangling logic seems to work, but I can't test the executable since my windows laptop is on ARM. @ayewo maybe you could give this a try and see if it works for you (as long as you have an x64 windows machine)?

[ayewo]

@lihaoyi sure will test it on Windows today. I'm currently AFK.

[lihaoyi]

CI is mostly green, which indicates that this does work at least on GHA, and I did a control experiment in 6f11357 to make sure we are exercising the new code path. But would still be good to test out on an actual person's machine

[lihaoyi]

Should just need to copy the mill.bat file and update the version to 0.12.5-68-e4bf78-native

[ayewo]

@lihaoyi

I tested it on 64-bit Windows (Windows 10 Pro) and it worked 🚀!

---

1. I first attempted to install the non-native build of mill by following¹ the docs using a command prompt:

   curl -L https://github.com/com-lihaoyi/mill/releases/download/0.12.5/0.12.5.bat -o mill.bat
   
   echo 0.12.5 > .mill-version
   
   .\mill --version
   Downloading mill 0.12.5  from https://repo1.maven.org/maven2/com/lihaoyi/mill-dist/0.12.5 /mill-dist-0.12.5 .jar ...
   curl: (3) URL rejected: Malformed input to a URL function
   Could not download mill 0.12.5

   It failed because echo 0.12.5 > .mill-version added a trailing space at the end of 0.12.5 .

   The correct command on Windows should be:

   echo 0.12.5>.mill-version

2. After fixing .mill-version, I ran.\mill --version which downloaded mill correctly but it failed because I didn't have any JDK installed yet:

   .\mill --version
   '"java.exe"' is not recognized as an internal or external command,
   operable program or batch file.

   So I installed the Microsoft Build of OpenJDK for Windows and tried again:

   .\mill --version
   Mill Build Tool version 0.12.5
   Java version: 11.0.25, vendor: Microsoft, runtime: C:\Microsoft\jdk-11.0.25.9-hotspot
   Default locale: en_US, platform encoding: Cp1252
   OS name: "Windows 10", version: 10.0, arch: amd64

3. Next, I removed .mill-version, mill.bat and C:\Users\dev\.mill so I could install mill-native from your PR:

   curl -L https://github.com/com-lihaoyi/mill/raw/1e4371a378628074adbaa9e1d1d7c58ca391cffb/mill.bat -o mill.bat
   
   echo 0.12.5-68-e4bf78-native>.mill-version
   
   .\mill --version
   
   Downloading mill 0.12.5-68-e4bf78 from https://repo1.maven.org/maven2/com/lihaoyi/mill-dist-native-windows-amd64/0.12.5-68-e4bf78/mill-dist-native-windows-amd64-0.12.5-68-e4bf78.jar ...
   ...
           1 file(s) moved.
   Mill Build Tool version 0.12.5-68-e4bf78
   Java version: 11.0.25, vendor: Microsoft, runtime: C:\Microsoft\jdk-11.0.25.9-hotspot
   Default locale: en_US, platform encoding: Cp1252
   OS name: "Windows 10", version: 10.0, arch: amd64

Footnotes

1. I visited https://mill-build.org/mill/index.html and it took me more than a minute to find information on how to install Mill on Windows. There's not a single call-to-action on the homepage that hits you on the head on how to download or install Mill. I then remembered that I had actually raised this before. ↩