Help:Contents: Difference between revisions

From Grid5000
Jump to navigation Jump to search
No edit summary
No edit summary
Line 5: Line 5:
* the default namespace contains all other normal 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.
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=
==user portal==
FIXME
==public portal==
FIXME
==committe portal==
FIXME


=RSS feed access=
=RSS feed access=

Revision as of 16:50, 1 December 2005

Naming

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

user portal

FIXME

public portal

FIXME

committe portal

FIXME

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 https://www.grid5000.fr/index.php/Special:Recentchanges?feed=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