Help:Contents: Difference between revisions

From Grid5000
Jump to navigation Jump to search
No edit summary
No edit summary
(24 intermediate revisions by 4 users not shown)
Line 1: Line 1:
=Naming=
{{Portal|User}}
Several custom namespaces exist within our wiki and have sepcial meaning:
{{See also| [[Help:Contents|User Help]] | [[Help:Page|Editor Help]] | [[Help:Namespace|Namescape Help]]}}
* 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=
= Editing =
==user portal==
Registered users are expected to contribute to the Grid'5000 wiki. You'll find help for simple modifications in this page, whereas help for page creation and more complex modifications can be found on the [[Help:Page|editor's Help page]].
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, '<code>Grenoble:My page</code>' for instance.
 
==public portal==
= Syntax =
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 [mailto:pierre.neyron@imag.fr the wiki admin]. Public pages should belong to the Grid5000 namespace (<code>Grid5000:</code> prefix) in order to keep thing obvious, except if they already belong to a Grid'5000 site namespace.
As [http://www.wikipedia.org Wikipedia], this wiki is powered by [http://meta.wikimedia.org/wiki/Help:Contents MediaWiki]. So, the edition syntax can be learnt on Wikipedia website:
==committee portal==
* [http://fr.wikipedia.org/wiki/Aide:Syntaxe_wikipédia Syntaxe wikipédia en français]
Page that must be read-restricted to the committee people must be resticted using the wiki feature. Please ask one of the wiki sysop.  
* [http://en.wikipedia.org/wiki/Help:Contents Wikipedia help in english]
 
You may use the [[Help:Sandbox|Sandbox]] page to train yourself.
 
=Discussions=
Discussions can occur on the discussion pages (discussion tab).
In order to sign a proposal, one may use the keyword: <pre>~~~~</pre>
which is automatically translated by mediawiki to something like:
  [[User:Pneyron|Pneyron]] 11:30, 18 April 2008 (CEST)


=RSS feed access=
=RSS feed access=
The [[Special:Recentchanges]] page and the [https://www.grid5000.fr/index.php/Special:Recentchanges?feed=rss 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:
The [[Help:RSS]] presents how to use a RSS aggregator to read this wiki RSS feed (recent changes).


==1st solution : use an RSS reader that is built into your web browser==
=Page deletion request=
* Safari
Please use the following wiki template call on pages you request deletion:
* the Sage extension for Firefox)
<nowiki>{{Wiki|To delete|</nowiki><code class="replace">explain here why you want the page to be deleted</code><nowiki>}}</nowiki>
* ...


==2nd solution : use wget to retrieve the page in a cron job==
=Page watching request=
* find your cookies.txt file (usually $HOME/.mozilla/firefox/''randomstring''/cookies.txt)
You think one page is suspicious, put a watching request on it:
* use
  <nowiki>{{Wiki|To watch|</nowiki><code class="replace">explain here why you want the page to be watched</code><nowiki>}}</nowiki>
  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.
=Sandbox=
To try out the wiki syntax, please use the dedicated page: [[Help:Sandbox]]


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)
=Timezone=
By default, mediawiki prints modification times in UTC format. However, you may change your [[Special:Preferences|preferences]] to reflect your timezone (e.g. GMT+2).


=Page delete request=
=Skin=
Please use the [[Page To Delete]] page to request page deletion
Be carreful if changing your skin as not every skins display the menus the same way. You are advised to keep the default skin: MonoBook.

Revision as of 18:15, 21 October 2012

Editing

Registered users are expected to contribute to the Grid'5000 wiki. You'll find help for simple modifications in this page, whereas help for page creation and more complex modifications can be found on the editor's Help page.

Syntax

As Wikipedia, this wiki is powered by MediaWiki. So, the edition syntax can be learnt on Wikipedia website:

You may use the Sandbox page to train yourself.

Discussions

Discussions can occur on the discussion pages (discussion tab).

In order to sign a proposal, one may use the keyword:

~~~~

which is automatically translated by mediawiki to something like:

Pneyron 11:30, 18 April 2008 (CEST)

RSS feed access

The Help:RSS presents how to use a RSS aggregator to read this wiki RSS feed (recent changes).

Page deletion request

Please use the following wiki template call on pages you request deletion:

{{Wiki|To delete|explain here why you want the page to be deleted}}

Page watching request

You think one page is suspicious, put a watching request on it:

{{Wiki|To watch|explain here why you want the page to be watched}}

Sandbox

To try out the wiki syntax, please use the dedicated page: Help:Sandbox

Timezone

By default, mediawiki prints modification times in UTC format. However, you may change your preferences to reflect your timezone (e.g. GMT+2).

Skin

Be carreful if changing your skin as not every skins display the menus the same way. You are advised to keep the default skin: MonoBook.