> -----Original Message----- > From: linuxtools-dev-boun...@eclipse.org > [mailto:linuxtools-dev-boun...@eclipse.org] On Behalf Of > Andrew Overholt > Sent: Friday, September 30, 2011 3:03 PM > To: Linux Tools developer discussions > Subject: Re: [linuxtools-dev] Changing the PATH for execution > of linuxtools commands > > * Marc Khouzam <marc.khou...@ericsson.com> [2011-09-30 14:44]: > > [...] we have a UI box in the launch configuration dialog that > > defaults to 'gdb' but that the user can change to the location > > she needs e.g., /home/user/bin/myOlderGDB > > > > I'm curious to know if this is something you considered? > > I'm not particularly involved in this PATH effort so take my comments > with a grain of salt but I personally dislike this type of unnecessary > UI cruft. I would much prefer to support this case of vendor > tool SDKs > through an extension point or some other non-UI mechanism if possible.
Yes, for vendor it makes sense to hide it under the hood, but I believe this issue was a user problem, where the user herself wanted to choose different versions at different times. Marc _______________________________________________ linuxtools-dev mailing list linuxtools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/linuxtools-dev