[spip-dev] [Pousseur] Erreur sur ressourcotheque

2020-05-14 Par sujet salvatore
Erreur lors du commit : > git add 'lang/ressourcotheque.xml' 2>&1 > git commit -m '[Salvatore] [source:lang/ ressourcotheque] Mise a jour du > bilan depuis https://trad.spip.net' --author='Salvatore ' > 2>&1 rebasage en cours ; sur 17a4312 Vous êtes en train de rebaser la branche 'master' sur

Re: [spip-dev] Cloner tout git.spip.net

2020-05-14 Par sujet nicod_
Le 14/05/2020 à 10:27, Cerdic a écrit : Hello, c’est un besoin un peu à la marge mais qui existe : comment avoir une copie de tous les repos de git.spip.net en local pour faire des recherche dans la base de code par exemple ? C’est maintenant possible avec le script mirror.php que vous

Re: [spip-dev] Cloner tout git.spip.net

2020-05-14 Par sujet nicod_
Le 14/05/2020 à 15:28, cam.lafit a écrit : Salut Un clone git complet est plus lourd que son pendant svn. ~119Go (dont 4go pour spip et dist) vs ~6Go (zone et dist) On ne doit pas parler de la même chose, j'ai tout cloné et ça pèse 1.6Go Autrement 2 astuces pour avoir des infos plus

[spip-dev] Saisies toujours

2020-05-14 Par sujet Stephane Santon
Bonjour, Dans je ne sais plus dans quel exemple de formulaire de configuration, il y a array( // hors fieldset : avis 'saisie' => 'oui_non', 'options' => array( Et je ne trouve pas le type de saisie 'oui_non' dans les références

[spip-dev] Erreur Genie maintenance

2020-05-14 Par sujet Stephane Santon
Bonjour, En désinstallant le plugin Tickets (1 seul ticket créé) sur un Spip 3.2.7, je récupère cette erreur : * Message Erreur SQL 1146 Table 'palissyekmwww.www18_tickets' doesn't exist SELECT * FROM spip_tickets LIMIT 1 * squelette /home/palissyekm/frwww18/ecrire/genie/maintenance.php

Re: [spip-dev] Cloner tout git.spip.net

2020-05-14 Par sujet cam.lafit
Salut Un clone git complet est plus lourd que son pendant svn. ~119Go (dont 4go pour spip et dist) vs ~6Go (zone et dist) Autrement 2 astuces pour avoir des infos plus complètes sur ses copies git Pour avoir les infos svn dans les commits git (à condition d'avoir un dépot suivi sur svn) ||

Re: [spip-dev] Cloner tout git.spip.net

2020-05-14 Par sujet nicod_
Le 14/05/2020 à 10:27, Cerdic a écrit : Hello, c’est un besoin un peu à la marge mais qui existe : comment avoir une copie de tous les repos de git.spip.net en local pour faire des recherche dans la base de code par exemple ? C’est maintenant possible avec le script mirror.php que vous

Re: [spip-dev] Cloner tout git.spip.net

2020-05-14 Par sujet tcharlss
Ça va s'avérer être très pratique, merci :) Le 14/05/2020 à 10:27, Cerdic a écrit : Hello, c’est un besoin un peu à la marge mais qui existe : comment avoir une copie de tous les repos de git.spip.net en local pour faire des recherche dans la base de code par exemple ? C’est maintenant

[spip-dev] Cloner tout git.spip.net

2020-05-14 Par sujet Cerdic
Hello, c’est un besoin un peu à la marge mais qui existe : comment avoir une copie de tous les repos de git.spip.net en local pour faire des recherche dans la base de code par exemple ? C’est maintenant possible avec le script mirror.php que vous trouverez là

[spip-dev] html5up_hyperspace à vérifier après réparation

2020-05-14 Par sujet Cerdic
Hello Jean-Marie, j’ai donc supprimé et reconstruit le repo de html5up_hyperspace, notamment en nettoyant les vieux tags, refaisant la branche v2 et le commit+tag de la v3.0.3 Si tu peux vérifier que tout te semble bien ? https://git.spip.net/spip-contrib-squelettes/html5up_hyperspace --