JLuc a écrit le 08/11/2019 à 09:18 :
Le 07/11/2019 à 14:12, Maïeul a écrit :
ne peut-on pas à minimum fusionner
http://plugins.spip.net/depots/principal.xml
et > https://files.spip.net/externals/archives_externals.xml

il risque d'arriver de plus en plus que certains plugins ne s'installent pas
parce que leur dépendance est dans externals

or cette cuisine interne des dépots ici ou là ne devrait pas interférer
sur l'usage de spip par un spipeur Lambda-Michu
qui n'a pas à connaître ces histoires de fourchettes à gauche ou à droite.

ça semble donc nécessaire de fusionner ces 2 repos

(ou au minimum d'enrichir le message d'erreur pour donner des pistes
et d'enrichir les indications données dans ecrire)
SPIP 3.3 a déjà un lien vers la page qui liste les dépôts.

--
RealET


----
spip-zone@rezo.net - https://listes.rezo.net/mailman/listinfo/spip-zone

Répondre à