Re: [ANNOUNCEMENT] Updated: mintty 2.9.5
- Date: Mon, 10 Dec 2018 05:01:59 +0300
- From: Andrey Repin <anrdaemon@xxxxxxxxx>
- Subject: Re: [ANNOUNCEMENT] Updated: mintty 2.9.5
Greetings, Thomas Wolff!
> Am 07.12.2018 um 22:41 schrieb Andrey Repin:
>> Greetings, Thomas Wolff!
>>> Am 06.12.2018 um 22:32 schrieb Andrey Repin:
>>>> Greetings, Achim Gratz!
>>>>> a) Just warn about the missing PATH component without changing the PATH.
>>>>> b) Give the user an option to let the command run with a separate PATH.
>>>>> Indeed there might be other things that are missing in the environment,
>>>>> so instead of just fixing up PATH you might consider using a wrapper
>>>>> that the user can change.
>>>> This is an interesting point.
>>>> Probably letting the user specify custom $PATH for quick commands (and save
>>>> current %PATH% as $ORIGINAL_PATH) may be the best choice.
>>>> The default can be %Cygwin%\bin:%PATH% or %PATH%:%Cygwin%\bin, I'm not very
>>>> concerned as long as it's explicit and customizable.
>>> I didn't expect the setup of this specific feature to be so strongly
>>> advocated :)
>>> In any case, things shouldn't become too complex. What I can image is an
>>> option UserCommandsPATH
>>> with one optional placeholder %s which would be replaced with the
>>> environment PATH;
>>> default /bin:%s, corresponding to current behaviour.
>> Using native paths and environment variable syntax, you can always use
>> ExpandEnvironmentString to get the %PATH% you need.
>> Cygwin DLL will then convert it to own version, avoiding you mangling it
>> And I would strongly discourage from using placeholders familiar for you, but
>> unexpected by the end user and taken from entirely different area of knowledge.
>> BTW, Cygwin itself does it differently. %Cygwin%\bin is converted to /usr/bin.
> This setup should be handled in the Posix path domain.
Give me a good reason why should you second-guess Cygwin's own functionality?
> I've uploaded a
> patch for evaluation, to the github repository.
With best regards,
Monday, December 10, 2018 5:01:12
Sorry for my terrible english...
Problem reports: http://cygwin.com/problems.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple