WikiMiNET

La documentation technique et administrative

Outils pour utilisateurs

Outils du site


wiki:wiki

WikiMiNET

Le wiki MiNET est maintenant un DokuWiki. L'ancien wiki Trac n'est plus accessible.

Configuration

Se reporter au manuel et à la page de description de la syntaxe pour les questions générales.

Icônes de menu

Utilisation des icônes Oxygen pour avoir une certaine homogénéité.

Supprimer une page

Il suffit de vider son contenu.

Conversion Trac -> DokuWiki

Conversion Trac → Dokuwiki sur Github.

Espaces de nom

La hiérarchisation des pages se fait en utilisant des espaces de nom. Une page se nomme par exemple :

wiki:reseau:externe:disi

Ce qui signifie la page disi dans externe, qui est dans reseau qui est dans wiki. L'URL correspondante sera :

https://wiki.minet.net/wiki/reseau/externe/disi

Chaque namespace a par défaut une page presentation, qui présente les liens vers les autres pages.

Barre latérale

La barre latérale est éditable dans la page sidebar, elle utilise le plugin simplenavi.

Le contenu de la page est :

<simplenavi>wiki>

Ce qui signifie qu'on inclue dans le menu l'espace de nom wiki (qui contient les pages de contenu). En dehors de ce namespace, on trouve la page d'accueil et des pages spéciales, comme justement la page sidebar.

Gestion des permissions

Pour restreindre une page aux utilisateurs enregistrés, passez dans AdministrationGestion de la liste des contrôles d'accès (ACL), les autorisations de @ALL à Aucune pour cette page.

Extension wrap

Vous trouverez la syntaxe de l'extension wrap sur cette image.

Plugin git

Un plugin git développé à MiNET permet de faire un commit à chaque fois qu'une page à été modifiée/crée/supprimée.

https://gitlab.minet.net/no_pseudo/gitwiki

Pour avoir un historique des commits il suffit le faire un

git log

Le format des commits est le suivant:

type_d_operation : [[nom_de_la_page]] by Prénom_utilisateur Nom_utilisateur. Résumé (optionnel)

type_d_operation peut prendre les valeurs suivantes: E|e|C|D|R pour Édition, Édition mineure (lorsque vous cochez la case “Modification mineure”), Create, Delete, Revert.

nom_de_la_page correspond au lien interne vers la page au format DokuWiki.

Prénom_utilisateur Nom_utilisateur correspond à l'identité de la personne qui a fait la modification.

Résumé correspond à ce que vous mettez dans le champ “Résumé”.

wiki/wiki.txt · Dernière modification: 2017/11/21 23:55 par no_pseudo