Help:Contents: Difference between revisions

From Grid5000
Jump to navigation Jump to search
No edit summary
 
(30 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Portal|User}}
{{See also| [[Help:Contents|User Help]] | [[Help:Page|Editor Help]] | [[Help:Namespace|Namescape Help]]}}
= 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 [[Help:Page|editor's Help page]].
= Syntax =
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:
* [http://fr.wikipedia.org/wiki/Aide:Syntaxe_wikipédia Syntaxe wikipédia en français]
* [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).
 
=Page deletion request=
Please use the following wiki template call on pages you request deletion:
<nowiki>{{Wiki|To delete|</nowiki><code class="replace">explain here why you want the page to be deleted</code><nowiki>}}</nowiki>
 
=Page watching request=
You think one page is suspicious, put a watching request on it:
<nowiki>{{Wiki|To watch|</nowiki><code class="replace">explain here why you want the page to be watched</code><nowiki>}}</nowiki>


==1st solution : use an RSS reader that is built into your web browser==
=Sandbox=
* Safari
To try out the wiki syntax, please use the dedicated page: [[Help:Sandbox]]
* the Sage extension for Firefox)
* ...


==2nd solution : use wget to retrieve the page in a cron job==
=Timezone=
* find your cookies.txt file (usually $HOME/.mozilla/firefox/''randomstring''/cookies.txt)
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).
* 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.


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.
=Skin=
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)
Be careful if changing your skin as not every skins display the menus the same way. You are advised to keep the default skin: MonoBook.

Latest revision as of 08:53, 19 May 2015

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 careful if changing your skin as not every skins display the menus the same way. You are advised to keep the default skin: MonoBook.