Accueil

MediaWiki has been successfully installed.

Consult the User's Guide for information on using the wiki software.

Bienvenue sur le wiki du Humanlab

Pour contribuer à la documentation, créez-vous un compte utilisateur et demander au Humanlab que votre compte soit assigné à un projet. Avant de commencer à éditer, merci de lire les quelques recommandations suivantes concernant le formatage du texte et les images.

Documentation type d'un projet

• Nom du projet
• Nom du référent initiateur du projet
• Equipe
• Cahier des charges prenant en compte la faisabilité/les contraintes
• Durée prévue pour développer le projet pour arriver à la v1. La v1 est une première version opérationnelle du projet
• Matériel nécessaire
• Outils nécessaires
• Compétences/techniques nécessaires
• Documenter tout le processus de création étape par étape, en uploadant les fichiers sources
• Durée totale réelle de la fabrication du prototype
• Coût avec le plus de détails possible élément par élément (et sourcer les fournisseurs de préférence)

• Etat d'avancement du projet (étape 1 sur 4 par exemple) : vision sur la progression
• Evenements liés (peut-être à mettre plutôt dans le Geslab avec publication d'events autour des projets: journée, mini hackathons etc ..)

Débuter sur mediawiki

https://fr.wikibooks.org/wiki/MediaWiki_pour_d%C3%A9butants/Premi%C3%A8re_utilisation_de_votre_wiki (A LIRE)

https://fr.wikipedia.org/wiki/Mod%C3%A8le:Article_d%C3%A9taill%C3%A9

https://fr.wikipedia.org/wiki/Aide:Sommaire

Débuter en tant qu'administrateur

• Le plugin "Lockdown" est installé sur ce mediawiki afin de restreindre l'édition des pages.

• Chaque utilisateur doit être assigné à un groupe qui correspond à un "espace de nom ". Pour éditer le droit d'un utilisateur aller dans le menu Tools>Special pages>User right management

• Le espaces de noms sont définis dans LocalSettings.php (Accessible sur le serveur via Filezilla).

IMPORTANT:

• Quand un espace de nom est défini, on lui assigne un numéro, ce numéro est très important, il doit être pair pour une page basique et impair pour une page "talk". D'autre part, si l'on souhaite changer ce numéro, il faut impérativement sauvegarder la page avant ce changement: l'éditer et sauver dans un fichier texte, le lien vers les medias sera aussi ainsi sauvegardé, car après ce changement toutes les données auront disparues à cause de cette nouvelle indexation!!

• Ne pas mettre de tiret "-" dans les espace de noms, sinon cela ne fonctionne pas

• Pour que les pages soient éditables par les utilisateurs, les pages créés doivent spécifier qu'elles appartiennent à un espace de nom. Pour cela, il suffit de le mettre en préfixe sur la page créée.

Exemple, si l'espace de nom = Africa

Si on est dans le menu à gauche on créera la page de la manière suivante :

Africa:Africa|Africa

Ce qui correspond à:

Espace_de_nom:Nom de la page|Nom du lien

Si on est déjà sur une page et que l'on souhaite créer un lien vers une nouvelle page éditable par le même groupe d'utilisateur, il faut assigner à cette page le même espace de nom.

[[Espace_de_nom:Nom de la page|Nom du lien]]
 

• Liens utiles :

https://fr.wikipedia.org/wiki/Aide:Espace_de_noms

https://fr.wikipedia.org/wiki/Aide:Cr%C3%A9er_un_mod%C3%A8le

https://fr.wikipedia.org/wiki/Aide:Cat%C3%A9gorie

Liens utiles pour formater le texte et placer les images : WIKICODE

Mediawiki est le wiki surlequel est basé Wikipedia. Il utilise un langage simplifié de formatage : le wikicode

Regarder dans Projets>Exemple de page pour les bases d'édition d'une page.

Quelques liens utiles:

https://www.mediawiki.org/wiki/Help:Formatting/fr

https://fr.wikipedia.org/wiki/Aide:Syntaxe_(wikicode)

https://fr.wikipedia.org/wiki/Aide:Ins%C3%A9rer_une_image_(wikicode,_avanc%C3%A9)

Téléversement de fichiers images: les règles à respecter

Les images doivent être redimensionnées avec une largeur max recommandée de 800 px et un poids max de 200 ko. Sinon les images vont rapidement saturer le wiki :)

Ligne de commande pour redimensionner sous Linux avec Imagemagick : méthode rapide et efficace

Installer Imagemagick si ce n'est pas déjà fait en tapant la ligne de commande suivante dans le terminal

   sudo apt-get install imagemagick

Copier ensuite le dossier des images que vous souhaitez redimensionner

   sudo cp /chemin/vers/le/dossier/mesimages chemin/vers/le/nouveau/dossier/mesimagesOK

Aller dans le dossier mes images OK

   sudo cd /chemin/vers/le/nouveau/dossier/mesimagesOK

Redimensionner la largeur en respectant la proportion en hauteur. ici, 512 px = la largeur

   mogrify -resize 512x *.jpg

Si le redimensionnement ne suffit pas voici la commande pour baisser la qualité

   mogrify -quality 80 *.jpg

Si cela ne fonctionne pas, vérifiez que vous êtes bien dans le dossier de vos images à traiter et vérifier l'extension, parfois l'extension est en majuscule (.JPG)

Quelques liens utiles d'autres fonctionalités de traitement d'image avec Imagemagick https://www.howtogeek.com/109369/how-to-quickly-resize-convert-modify-images-from-the-linux-terminal/ https://www.imagemagick.org/script/mogrify.php

Redimensionner une image avec le programme Gimp (équivalent libre de Photoshop) : méthode visuelle pour les frileux de la ligne de commande

Télécharger et installer Gimp pour votre OS (Windows, MAc, ou Linux)

https://www.gimp.org/downloads/

Ouvrir votre image avec Gimp, puis ajuster la taille de l'image dans l'onglet :

Image > Echelle et taille de l'image

Choisir 800 px de large et appuyer sur entrée pour que la hauteur soit changée propotionnellement automatiquement. (Appuyer sur le cadenas pour verrouiller la hauteur et largeur afin de garder les proportions si ce n'est pas déjà le cas)

Si l'image est trop lourde baisser la résolution dans ce même onglet à 72px

Groupes

• Group-appui_tete
• Group-appui_tete-member
• Grouppage-appui_tete

Getting started

Consult the User's Guide for information on using the wiki software.

• Configuration settings list
• MediaWiki FAQ
• MediaWiki release mailing list
• Localise MediaWiki for your language
• Learn how to combat spam on your wiki