Editing Eclipse pages on the EPFL Trac Wiki

On Fri, 2009-02-20 at 11:51 +0000, Miles Sabin wrote:
> On Fri, Feb 20, 2009 at 11:41 AM, Ismael Juma wrote:
> > I didn't see a way to edit the wiki page otherwise I would do it.
>
> All the Eclipse pages should now be editable by anyone logged into the
> EPFL Trac with the identity they use for creating new tickets. When
> you're logged in you should see an "Edit this page" button at the
> bottom left of every page you have write access too.

This doesn't seem to be working. I also asked a few people in #scala to
check just to make sure I wasn't being blind and they confirmed it.

Ismael

On Fri, Feb 20, 2009 at 11:51 AM, Miles Sabin wrote:
> All the Eclipse pages should now be editable by anyone logged into the
> EPFL Trac with the identity they use for creating new tickets. When
> you're logged in you should see an "Edit this page" button at the
> bottom left of every page you have write access too.
>
> It's possible that some pages haven't had their write permissions
> updated yet ... if that's the case, please let me know and I'll get it
> sorted out.
>
> I'd really like to encourage people to contribute to this rather than
> everyone coming up with their own private workaounds for issues
> independently ... I know it takes a little effort, but it'll pay off
> in the end.

OK, this should be sorted out now ...

The following pages should be editable by anyone who's logged in with
their EPFL Trac account,

http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePluginFAQ
http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePlugin
http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePluginWishlist
http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePluginsWithScala

Cheers,

Miles

On Fri, Feb 20, 2009 at 11:51 AM, Miles Sabin wrote:
> All the Eclipse pages should now be editable by anyone logged into the
> EPFL Trac with the identity they use for creating new tickets. When
> you're logged in you should see an "Edit this page" button at the
> bottom left of every page you have write access too.
>
> It's possible that some pages haven't had their write permissions
> updated yet ... if that's the case, please let me know and I'll get it
> sorted out.
>
> I'd really like to encourage people to contribute to this rather than
> everyone coming up with their own private workaounds for issues
> independently ... I know it takes a little effort, but it'll pay off
> in the end.

OK, this should be sorted out now ...

The following pages should be editable by anyone who's logged in with
their EPFL Trac account,

http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePluginFAQ
http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePlugin
http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePluginWishlist
http://lampsvn.epfl.ch/trac/scala/wiki/EclipsePluginsWithScala

Cheers,

Miles

On Fri, 2009-02-20 at 13:11 +0000, Miles Sabin wrote:
> On Fri, Feb 20, 2009 at 11:51 AM, Miles Sabin wrote:
> > All the Eclipse pages should now be editable by anyone logged into the
> > EPFL Trac with the identity they use for creating new tickets. When
> > you're logged in you should see an "Edit this page" button at the
> > bottom left of every page you have write access too.
> >
> > It's possible that some pages haven't had their write permissions
> > updated yet ... if that's the case, please let me know and I'll get it
> > sorted out.
> >
> > I'd really like to encourage people to contribute to this rather than
> > everyone coming up with their own private workaounds for issues
> > independently ... I know it takes a little effort, but it'll pay off
> > in the end.
>
> OK, this should be sorted out now ...

I updated the page to mention eclipse.ini instead of config.ini in that
one instance and tweaked the VM args a bit. Basically I removed
XX:PermSize (it's 64MB for -server by default) and I set the MaxPermSize
using XX:MaxPermSize instead of --launcher.XXMaxPermSize. The latter is
only necessary if you want to avoid HotSpot-specific options (which is
important for eclipse.org) and it's a bit fragile and did not work on
all platforms last I looked. Since Sun-specific options were already
used in the example (e.g. -XX:+UseConcMarkSweepGC), I figured that the
more reliable way is probably better.

Ismael

On Fri, Feb 20, 2009 at 1:27 PM, Ismael Juma wrote:
> On Fri, 2009-02-20 at 13:11 +0000, Miles Sabin wrote:
>> On Fri, Feb 20, 2009 at 11:51 AM, Miles Sabin wrote:
>> > All the Eclipse pages should now be editable by anyone logged into the
>> > EPFL Trac with the identity they use for creating new tickets. When
>> > you're logged in you should see an "Edit this page" button at the
>> > bottom left of every page you have write access too.
>> >
>> > It's possible that some pages haven't had their write permissions
>> > updated yet ... if that's the case, please let me know and I'll get it
>> > sorted out.
>> >
>> > I'd really like to encourage people to contribute to this rather than
>> > everyone coming up with their own private workaounds for issues
>> > independently ... I know it takes a little effort, but it'll pay off
>> > in the end.
>>
>> OK, this should be sorted out now ...
>
> I updated the page to mention eclipse.ini instead of config.ini in that
> one instance and tweaked the VM args a bit. Basically I removed
> XX:PermSize (it's 64MB for -server by default) and I set the MaxPermSize
> using XX:MaxPermSize instead of --launcher.XXMaxPermSize. The latter is
> only necessary if you want to avoid HotSpot-specific options (which is
> important for eclipse.org) and it's a bit fragile and did not work on
> all platforms last I looked. Since Sun-specific options were already
> used in the example (e.g. -XX:+UseConcMarkSweepGC), I figured that the
> more reliable way is probably better.

Fantastic! Thanks very much for the update :-)

Cheers,

Miles

On Fri, 2009-02-20 at 13:11 +0000, Miles Sabin wrote:
> On Fri, Feb 20, 2009 at 11:51 AM, Miles Sabin wrote:
> > All the Eclipse pages should now be editable by anyone logged into the
> > EPFL Trac with the identity they use for creating new tickets. When
> > you're logged in you should see an "Edit this page" button at the
> > bottom left of every page you have write access too.
> >
> > It's possible that some pages haven't had their write permissions
> > updated yet ... if that's the case, please let me know and I'll get it
> > sorted out.
> >
> > I'd really like to encourage people to contribute to this rather than
> > everyone coming up with their own private workaounds for issues
> > independently ... I know it takes a little effort, but it'll pay off
> > in the end.
>
> OK, this should be sorted out now ...

I updated the page to mention eclipse.ini instead of config.ini in that
one instance and tweaked the VM args a bit. Basically I removed
XX:PermSize (it's 64MB for -server by default) and I set the MaxPermSize
using XX:MaxPermSize instead of --launcher.XXMaxPermSize. The latter is
only necessary if you want to avoid HotSpot-specific options (which is
important for eclipse.org) and it's a bit fragile and did not work on
all platforms last I looked. Since Sun-specific options were already
used in the example (e.g. -XX:+UseConcMarkSweepGC), I figured that the
more reliable way is probably better.

Ismael

On Fri, Feb 20, 2009 at 1:27 PM, Ismael Juma wrote:
> On Fri, 2009-02-20 at 13:11 +0000, Miles Sabin wrote:
>> On Fri, Feb 20, 2009 at 11:51 AM, Miles Sabin wrote:
>> > All the Eclipse pages should now be editable by anyone logged into the
>> > EPFL Trac with the identity they use for creating new tickets. When
>> > you're logged in you should see an "Edit this page" button at the
>> > bottom left of every page you have write access too.
>> >
>> > It's possible that some pages haven't had their write permissions
>> > updated yet ... if that's the case, please let me know and I'll get it
>> > sorted out.
>> >
>> > I'd really like to encourage people to contribute to this rather than
>> > everyone coming up with their own private workaounds for issues
>> > independently ... I know it takes a little effort, but it'll pay off
>> > in the end.
>>
>> OK, this should be sorted out now ...
>
> I updated the page to mention eclipse.ini instead of config.ini in that
> one instance and tweaked the VM args a bit. Basically I removed
> XX:PermSize (it's 64MB for -server by default) and I set the MaxPermSize
> using XX:MaxPermSize instead of --launcher.XXMaxPermSize. The latter is
> only necessary if you want to avoid HotSpot-specific options (which is
> important for eclipse.org) and it's a bit fragile and did not work on
> all platforms last I looked. Since Sun-specific options were already
> used in the example (e.g. -XX:+UseConcMarkSweepGC), I figured that the
> more reliable way is probably better.

Fantastic! Thanks very much for the update :-)

Cheers,

Miles