Hi could you please add a readme explaining the differences between the
*_shell.bat’s and what's been set by them, so what's the difference to calling
“set HOMER=%USERPROFILE% && bash -i --login” which other effects have the
*_shell.bat’s besides setting home and calling mintty?
Cheers
Patrick
------------------------------------------------------------------------------
Shape the Mobile Experience: Free Subscription
Software experts and developers: Be at the forefront of tech innovation.
Intel(R) Software Adrenaline delivers strategic insight and game-changing
conversations that shape the rapidly evolving mobile landscape. Sign up now.
http://pubads.g.doubleclick.net/gampad/clk?id=63431311&iu=/4140/ostg.clktrk
_______________________________________________
Mingw-w64-public mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/mingw-w64-public
