From Grid5000
Revision as of 16:12, 12 December 2005 by Pneyron (talk | contribs)

Jump to: navigation, search


Several custom namespaces exist within our wiki and have sepcial meaning:

  • the Grid5000 namespace must be used when pages are to be public and if not in a site namespace for instance.
  • the sites namespace (Orsay, Lyon, aso) must be used for site specific pages
  • the default namespace contains all other normal pages.

NB: pages actually readable by a anonymous user (not logged in) are configured in the wiki configuration file. There is not "hard link" between the namespaces and that feature in fact.

Howto add a page to one of the portals

To add a entry to one of the portal boxes on the left side of the wiki pages, the Mediawiki:Sidebar page must be edited. Please ask a wiki sysop.

user portal

Pages that are to belong to the user portal are just normal pages. This means, when you create a page, it will belong to the user portal by default. If you wish to edit a page within one of Grid'5000 sites, just use the site namespace prefix, 'Grenoble:My page' for instance.

public portal

For a page to become readable by not logged in people (for instance people that does not have a Grid'5000 account), the page name must be added to a configuration file. Please send a request to the wiki admin. Public pages should belong to the Grid5000 namespace (Grid5000: prefix) in order to keep thing obvious, except if they already belong to a Grid'5000 site namespace.

committee portal

Page that must be read-restricted to the committee people must be resticted using the wiki feature. Please ask one of the wiki sysop.

RSS feed access

The Special:Recentchanges page and the RSS feed are only available to logged in users. This is a issue with regard to people who want to read this feed using a RSS aggregator. Anyway, 2 solutions a proposed to bypass this:

1st solution : use an RSS reader that is built into your web browser

  • Safari
  • the Sage extension for Firefox)
  • ...

2nd solution : use wget to retrieve the page in a cron job

  • find your cookies.txt file (usually $HOME/.mozilla/firefox/randomstring/cookies.txt)
  • use
wget --load-cookies $HOME/.mozilla/firefox/randomstring/cookies.txt -O grid5000.rss
  • if it doesn't work, run wget with --debug, and check that it properly send the cookies.
  • Use your RSS aggregator to parse grid5000.rss

NB: Be very careful if you try to edit the cookies.txt file : wget will silently forget some cookies if you mess with cookies.txt.

NB2: the cookies.txt file can be moved between systems (ie you can generate it on your desktop and run the cron job on a server)

Page delete request

Please use the Page To Delete page to request page deletion