[Bug 485167] Re: There should be a eclipse.ini file in user's home directory
Niels Thykier
niels at thykier.net
Thu Nov 19 08:18:52 UTC 2009
Hi
I agree with you that eclipse ought to have "per-user" configurations
and even if eclipse does not support it out of the box, it can be done
with just (shell) scripting[1]. Nevertheless, we recently received a
similar question on the Debian-java list [2], where a maintainer wanted
to add an argument to eclipse. He/She also suggested the "per-user"
configuration - but this would require that the user manually edited
their own configuration, when they installed this package.
Therefore I think we need something like an /etc/eclipse/eclipse.ini.d/
folder as well and a script that can sanely merge a couple of
eclipse.ini files. Possible with an eclipserc that determines if the
user wants /etc/eclipse/eclipse.ini.d/ parsed.
The importance wishlist (at least in Debian) means that it is considered
a feature request (or a suggestion); personally I think this will be
fixed (if left on its own) the next time I am stuck with another problem
and out of frustration need to fix something to feel progress.
~Niels
[1] I would probably not use a shell script here due to how shells
handles variables (especially when passed to another application)
[2] http://lists.debian.org/debian-java/2009/11/msg00050.html
--
There should be a eclipse.ini file in user's home directory
https://bugs.launchpad.net/bugs/485167
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
More information about the universe-bugs
mailing list