Re: Je commence avec GIT

On 03/08/2020 14:57, Bruno Bergot wrote:
> Hop,
> 
> Le 03/08/2020 à 14:55, Luis a écrit :
>> J'ai fait un clone de SPIP
>> git clone https://git.spip.net/SPIP/spip.git
>>
>> mais je ne vois pas les plugins-dist
>>
>> Comment faire?
>>
> 
> Suivez le guide...
> 
> https://blog.smellup.net/spip.php?article117
> 
> ++
> b_b

Finalement, ce n'était pas dramatique. Le checkout fonctionne à merveille.

Au cas où ça pourrait aider, mois je l'installé (checkout sans le .php) dans
local/spip et une fois déclaré dans le $PATH ça roule

et pour les plugins j'ai pris un petit script
dans le quel je déclare les plugins puis je fais
clone dans le dossier plugins d'un SPIP

Finalement, pour avoir l'équivalent git de svn update ./* (pull) sur 
tous les plugins à la fois, j'ai trouvé ça

https://dev.to/rmpato/git-pull-multiple-repositories-at-once-4l68

je fais multipull (avec ZSH) et basta




Suit le script

#!/bin/sh

# Clone multiple repositories.

echo "=== CLONENATOR ==="

array=( "https://git.spip.net/spip-contrib-extensions/cache_cool.git"
"AUTRES PLUGINS"
"https://git.spip.net/spip-contrib-extensions/z-core.git"  )

for element in ${array[@]}
do
     echo "clonning $element"
     git clone $element
done

echo "=== DONE ==="