
Recherche avancée
Médias (1)
-
Géodiversité
9 septembre 2011, par ,
Mis à jour : Août 2018
Langue : français
Type : Texte
Autres articles (59)
-
Initialisation de MediaSPIP (préconfiguration)
20 février 2010, parLors de l’installation de MediaSPIP, celui-ci est préconfiguré pour les usages les plus fréquents.
Cette préconfiguration est réalisée par un plugin activé par défaut et non désactivable appelé MediaSPIP Init.
Ce plugin sert à préconfigurer de manière correcte chaque instance de MediaSPIP. Il doit donc être placé dans le dossier plugins-dist/ du site ou de la ferme pour être installé par défaut avant de pouvoir utiliser le site.
Dans un premier temps il active ou désactive des options de SPIP qui ne le (...) -
Monitoring de fermes de MediaSPIP (et de SPIP tant qu’à faire)
31 mai 2013, parLorsque l’on gère plusieurs (voir plusieurs dizaines) de MediaSPIP sur la même installation, il peut être très pratique d’obtenir d’un coup d’oeil certaines informations.
Cet article a pour but de documenter les scripts de monitoring Munin développés avec l’aide d’Infini.
Ces scripts sont installés automatiquement par le script d’installation automatique si une installation de munin est détectée.
Description des scripts
Trois scripts Munin ont été développés :
1. mediaspip_medias
Un script de (...) -
Changer son thème graphique
22 février 2011, parLe thème graphique ne touche pas à la disposition à proprement dite des éléments dans la page. Il ne fait que modifier l’apparence des éléments.
Le placement peut être modifié effectivement, mais cette modification n’est que visuelle et non pas au niveau de la représentation sémantique de la page.
Modifier le thème graphique utilisé
Pour modifier le thème graphique utilisé, il est nécessaire que le plugin zen-garden soit activé sur le site.
Il suffit ensuite de se rendre dans l’espace de configuration du (...)
Sur d’autres sites (5289)
-
Révision 20249 : report de r20229 : ne pas proposer la base courante dans la liste des bases exte...
9 mars 2013, par denisb@a-working-class-hero-is-something-to.be -
Revision 4931 : Meilleure gestion $objet/$id_objet, on se base sur ce que fournissent les ...
6 février 2011, par kent1 — LogMeilleure gestion $objet/$id_objet, on se base sur ce que fournissent les pipelines On vire le console.log qui trainait On ajoute le pays dans la bulle de géolocalisation Si pas de titre du point gis et que l’on tente un géocodage, on utilise ce que l’on met dans le géocodeur comme titre en (...)
-
Revision 4931 : Meilleure gestion $objet/$id_objet, on se base sur ce que fournissent les ...
6 février 2011, par kent1 — LogMeilleure gestion $objet/$id_objet, on se base sur ce que fournissent les pipelines On vire le console.log qui trainait On ajoute le pays dans la bulle de géolocalisation Si pas de titre du point gis et que l’on tente un géocodage, on utilise ce que l’on met dans le géocodeur comme titre en (...)