Re: Cloner tout git.spip.net

Ah oui le .gitignore j’y ai pensé et puis j’ai oublié parce que chez moi je clone à coté (j’ai mis un lien symbolique sur le mirror.php), mais je pense que ce serait bien en effet.

Et oui pour ajouter une ligne dans le readme a propos de checkout.php j’avais oublié ça aussi

Merci à toi !

--
Cédric
Le 14 mai 2020 à 23:16 +0200, nicod_ <[email protected]>, 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)
>
> 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_