On Thursday, May 4, 2017 at 5:40:10 PM UTC-4, Marc de Bourget wrote:
<Snipped>
> Hi Peter, I have also installed bash for the Windows command line now.
> BTW, it is only available for Windows 10 64 bit (not for 32 bit).
> I'm not shure if I have understood:
> Has your 4.1.4 GAWK compilation been successful or not successful?
> gawk -V shows in my "Microsoft" bash: GNU AWK 4.0.1
> When will the bash been updated with GAWK version 4.1.4 and who does it?
> Does someone should inform Microsoft that a new GAWK version is available?
As of today, the Win10-64 bash environment is Ubuntu v14.04, which only has Gawk V4.0.1 available to install with apt-get. That version of Gawk is installed by default. I downloaded the Gawk v4.1.4 tarball from the Gnu ftp site and built it myself in the Win10 bash environment, so now I have Gawk v4.1.4 in my Win10 bash setup, installed in /usr/local/bin.
So yes, the build was successful and I now have Gawk v4.1.4 running in my Win10 bash setup.
To build Gawk yourself you also first have to apt-get install all the packages needed to configure, make and install it. At a minimum, gcc, autotools, bison, and make are needed. I also installed the MPFR and readline libraries and their *-dev packages so that Gawk would build with those features too. Also gettext, which may have been installed by default, I do not remember for sure.
When the Win10 "Creators" update is finally stable and is released to our machines for update, the new bash environment will be upgraded to Ubuntu v16.04, which if I am reading the Ubuntu package lists correctly includes Gawk v4.1.3 by default. We will still have to build and install our own copy of Gawk v4.1.4 if we want it.
From what I have read online, if you already have a bash environment installed when the "Creators" update is eventually done, it will NOT automatically update the bash component. We will have to manually uninstall (using the lxrun command) and reinstall it to get the new Ubuntu version.
HTH
Peter