Igor Stasenko wrote:
On 26 April 2013 16:11, Ingo Hohmann <pharo@ingohohmann.de> wrote:
Hi Mariano,
actually the $PATH is correctly taken from my system settings, it's broken in the system settings.
The idea from Camillo works, as well as changing the $PATH on the system.
The remaining question is: should this be reported as a bug? (I tend to yes)
so, i don't have strong opinion on it.. but maybe you right, and CommandShell should behave similar to OS shell (in respect that in cases if OS shell don't barks, neither CommandShell should).
It should not deviate unnecessarily from existing conventions. Its not always good to make it "better" if that conflicts with Principle Of Least Surprise. A corollary is the McDonalds Burger Principle, its not the best burger in the world, but it is the same in every store in the world --> success. cheers -ben
Thank you,
Ingo