« Wiktionnaire:Questions techniques/janvier 2015 » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 20 :
:Aucun obstacle au niveau technique (ex : sur Wikiversité l'espace ''Recherche'' est avec le ''Principal'' par défaut pour tout le monde). Par contre pour prendre de l'avance :
:# Pour ceux qui le veulent il y a une case en bas [[spécial:Recherche]], rubrique ''Recherche avancée'', qui s'appelle ''Se souvenir de la sélection pour les prochaines recherches''.
:# Les rubriques synonymes renvoient déjà vers les thésaurus quand ils existent. D'ailleurs, hormis pour les formes reconstituées que l'on peut difficilement mettre en avant faute de sources, je ne vois pas dans quel cas le client ne connaitrait pas son besoin, et aurait besoin d'un thésaurus pour autre chose que là où sont les renvois. [[Utilisateur:JackPotte|JackPotte]] ([[Discussion utilisateur:JackPotte|<fontspan colorstyle="color:#FF6600">$</fontspan>♠]]) 5 janvier 2015 à 00:48 (UTC)
:Quoique je voterais pour car moult annexes contiennent des liens rouges. [[Utilisateur:JackPotte|JackPotte]] ([[Discussion utilisateur:JackPotte|<fontspan colorstyle="color:#FF6600">$</fontspan>♠]]) 5 janvier 2015 à 01:00 (UTC)
:: Techniquement il faudra faire une demande sur Phabricator pour inclure les espaces d'annexe et de thésaurus dans la recherche (changement de la variable $wgNamespacesToBeSearchedDefault). Pour faire ce changement, une page de vote est indispensable. — '''[[Discussion Utilisateur:Darkdadaah|Dakdada]]''' 5 janvier 2015 à 15:00 (UTC)
:: le tag à utiliser est [[phab:tag/wikimedia-site-requests|wikimedia-site-requests]]. — '''[[Discussion Utilisateur:Darkdadaah|Dakdada]]''' 5 janvier 2015 à 17:06 (UTC)
Ligne 32 :
 
Quelqu’un a-t-il déjà un moyen pour être averti de la date du dernier dump sorti, ou alors lorsque vous avez besoin vous regardez http://dumps.wikimedia.org/frwiktionary/ (ou une page similaire) à chaque fois ? — [[Utilisateur:Automatik|Automatik]] ([[Discussion utilisateur:Automatik|discussion]]) 5 janvier 2015 à 13:55 (UTC)
:Moi je le regarde manuellement car j'ai la flemme de développer un système de cron avec wget qui sera obsolète à chaque changement de serveur et autres. [[Utilisateur:JackPotte|JackPotte]] ([[Discussion utilisateur:JackPotte|<fontspan colorstyle="color:#FF6600">$</fontspan>♠]]) 5 janvier 2015 à 14:38 (UTC)
::Itou. — [[Utilisateur:Unsui|Unsui]] <small>[[Discussion Utilisateur:Unsui|Discuter]]</small> 5 janvier 2015 à 14:51 (UTC)
::: Je le fais à la main, mais je serais intéressé par une solution de type RSS qui avertirait de chaque sortie de dump. C'est une proposition qu'on peut faire aux développeurs... — '''[[Discussion Utilisateur:Darkdadaah|Dakdada]]''' 5 janvier 2015 à 15:04 (UTC)