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

Sous stretch il y a ce problème qui a interrompu le fonctionnement de push pendant quelques temps.

Pour avoir un historique des commits il suffit le faire un

git log

Le format des commits est le suivant:

obsolète, le format a changé depuis

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é”.

Patchnote

En utilisant le plugin git-wiki, on s'est rendu compte que git nous permettait de faire des stats sympas et mieux on pouvait utiliser les logs pour générer un compte-rendu des changements, et puis finalement on s'est dit autant développer un truc en plus, en utilisant une DB pour stocker les résumés des modifications (auteur,page,etc) et en ajoutant l'id du commit associé.

Ce plugin a donc comme dépendance le plugin gitwiki ci-dessus.

Vous pouvez trouver le repository du plugin ici : https://gitlab.minet.net/no_pseudo/patchnote-wiki.

A MiNET les patchnotes sont accessibles ici : https://patchnotewiki.minet.net Il est également possible de récupérer le patchnote en texte brut: https://patchnotewiki.minet.net/raw.

La page est protégée par authentification contre notre LDAP, en vérifiant que les utilisateurs ont également les droits de lecture sur le wiki.

wiki/wiki.txt · Dernière modification: 2020/06/27 18:16 (modification externe)