Eclipse does have per-user configuration, at
$HOME/.eclipse/org.eclipse.platform_$version_$id/configuration/ ;
however, I don't know if that particular setting can be changed there.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https
The big problem with per-user eclipse.ini is that it would break eclipse
.ini-changing p2 touchpoints.
--
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 subscri
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 arg
Hmm, can I assume that something with "Wishlist" importance is unlikely
to be implemented? :P
Would this change require a change to the actual eclipse program (I
would assume this isn't likely)? Or is it a packaging issue, and
someone just has to modify the shell script to implement this? If it
** Changed in: eclipse (Ubuntu)
Status: New => Triaged
** Changed in: eclipse (Ubuntu)
Importance: Undecided => Wishlist
--
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
