WikiMiNET

La documentation technique et administrative

Outils pour utilisateurs

Outils du site

Piste:
wiki:wiki

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision 		Révision précédente
wiki:wiki [2017/02/14 18:34]
sowarks [WikiMiNET] 		wiki:wiki [2020/06/27 18:16] (Version actuelle)
Ligne 55: Ligne 55:
  
 Vous trouverez la syntaxe de l'extension wrap sur cette [[https://www.dokuwiki.org/_media/plugin:wrap_plugin_example6.png|image]]. Vous trouverez la syntaxe de l'extension wrap sur cette [[https://www.dokuwiki.org/_media/plugin:wrap_plugin_example6.png|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|https://gitlab.minet.net/no_pseudo/gitwiki]]
 +
 +Sous stretch il y a ce [[https://superuser.com/questions/1334780/git-clone-and-apt-error-gnutls-handshake-failed|problème]] qui a interrompu le fonctionnement de push pendant quelques temps.
 +
 +Pour avoir un historique des commits il suffit le faire un
 +<code>
 +git log
 +</code>
 +
 +Le format des commits est le suivant:
 +<WRAP center round important 60%>
 +obsolète, le format a changé depuis
 +</WRAP>
 +
 +//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|https://gitlab.minet.net/no_pseudo/patchnote-wiki]].
 +
 +A MiNET les patchnotes sont accessibles ici : [[https://patchnotewiki.minet.net|https://patchnotewiki.minet.net]]
 +Il est également possible de récupérer le patchnote en texte brut: [[https://patchnotewiki.minet.net/raw|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.1487093655.txt.gz · Dernière modification: 2020/06/27 18:15 (modification externe)

Outils de la page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki