[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 '17a4312'.

Modifications qui ne seront pas validées :
modifié : auteur.html
modifié : extra/auteur.html

Fichiers non suivis:
lang/ressourcotheque.commit.json

aucune modification ajoutée à la validation

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

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 trouverez là
https://git.spip.net/spip-contrib-outils/gitea_mirror

Le script veille à ne pas charger le serveur inutilement : les appels à 
l’API gitea sont mis en cache et seuls les repositories modifiés depuis 
le dernier appel sont pull à nouveau.

Il peut donc être utilisé sans crainte de charger git.spip.net :)
(il n’y a que le premier clone complet qui génère vraiment une charge)


Merci, ça marche super bien.

Une suggestion : l'ajout d'un .gitignore pour le cache et les dossiers 
créés pour chaque orga, je sais pas ce que tu en penses.


Sinon, j'avais des erreurs quand j'ai lancé le script, que je n'ai pas 
vues au départ : il m'affichait la liste des 1196 dépots en erreur, 
parce que je n'avais pas checkout.php dans mon PATH.
Mais avec 1196 lignes d'erreurs affichées je n'avais pas vu les messages 
indiquant que checkout n'était pas trouvé.


Peut être indiquer dans le readme qu'il faut installer checkout ? ou 
bien vérifier qu'il est bien installé ?


--
nicod_
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


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 complètes sur ses copies git

Pour avoir les infos svn dans les commits git (à condition d'avoir un 
dépot suivi sur svn)


||

|fetch = +refs/svn/map:refs/notes/commits |

Pour suivre localement les PR

|fetch = +refs/pull/*/head:refs/remotes/origin/pr/*|||


Pas mal, merci du tuyau, je note ça.

--
nicod_
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


[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
https://contrib.spip.net/Reference-des-saisies

...

--
Stéphane
17 Charente-Maritime
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


[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   

* Boucle
verifier_crash_tables(){ sql_select(); }

*Ligne
72

J'ai réparé la table, aucun changement.

Des pistes ?

Merci

--
Stéphane
17 Charente-Maritime
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


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)


||

|fetch = +refs/svn/map:refs/notes/commits |

Pour suivre localement les PR

|fetch = +refs/pull/*/head:refs/remotes/origin/pr/*|||

Km

Le 14/05/2020 à 14:16, nicod_ a écrit :

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 
trouverez là

https://git.spip.net/spip-contrib-outils/gitea_mirror

Le script veille à ne pas charger le serveur inutilement : les appels 
à l’API gitea sont mis en cache et seuls les repositories modifiés 
depuis le dernier appel sont pull à nouveau.

Il peut donc être utilisé sans crainte de charger git.spip.net :)
(il n’y a que le premier clone complet qui génère vraiment une charge)


Ah super, j'étais en train de coder ça dans mon coin aussi.

Avec un cache, c'est parfait, merci.

Et ça devrait peser moins lourd que la zone en svn avec tous ses tags 
maintenant :)


___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

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 trouverez là
https://git.spip.net/spip-contrib-outils/gitea_mirror

Le script veille à ne pas charger le serveur inutilement : les appels à 
l’API gitea sont mis en cache et seuls les repositories modifiés depuis 
le dernier appel sont pull à nouveau.

Il peut donc être utilisé sans crainte de charger git.spip.net :)
(il n’y a que le premier clone complet qui génère vraiment une charge)


Ah super, j'étais en train de coder ça dans mon coin aussi.

Avec un cache, c'est parfait, merci.

Et ça devrait peser moins lourd que la zone en svn avec tous ses tags 
maintenant :)


--
nicod_
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


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 possible avec le script mirror.php que vous trouverez là
https://git.spip.net/spip-contrib-outils/gitea_mirror

Le script veille à ne pas charger le serveur inutilement : les appels 
à l’API gitea sont mis en cache et seuls les repositories modifiés 
depuis le dernier appel sont pull à nouveau.

Il peut donc être utilisé sans crainte de charger git.spip.net :)
(il n’y a que le premier clone complet qui génère vraiment une charge)

--
Cédric

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

[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à
https://git.spip.net/spip-contrib-outils/gitea_mirror

Le script veille à ne pas charger le serveur inutilement : les appels à l’API 
gitea sont mis en cache et seuls les repositories modifiés depuis le dernier 
appel sont pull à nouveau.
Il peut donc être utilisé sans crainte de charger git.spip.net :)
(il n’y a que le premier clone complet qui génère vraiment une charge)

--
Cédric
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

[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

--
Cédric
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip