2019-01-14 02:50:14 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
2022-09-24 23:22:14 +02:00
|
|
|
VERVIS='https://vervis.peers.community/s/fr33domlover/r'
|
2019-01-14 02:50:14 +01:00
|
|
|
|
2020-03-28 15:18:00 +01:00
|
|
|
DEPS='dvara
|
|
|
|
hit-graph
|
2019-01-14 02:50:14 +01:00
|
|
|
hit-harder
|
|
|
|
hit-network
|
|
|
|
darcs-lights
|
|
|
|
darcs-rev
|
2019-01-21 16:54:57 +01:00
|
|
|
http-client-signature
|
2019-01-14 23:08:44 +01:00
|
|
|
http-signature
|
2019-01-14 02:50:14 +01:00
|
|
|
ssh
|
2019-03-02 20:30:38 +01:00
|
|
|
persistent-graph
|
2019-01-14 02:50:14 +01:00
|
|
|
persistent-migration
|
|
|
|
persistent-email-address
|
|
|
|
time-interval-aeson
|
2019-01-14 23:08:44 +01:00
|
|
|
yesod-http-signature
|
2019-01-14 02:50:14 +01:00
|
|
|
yesod-mail-send'
|
|
|
|
|
|
|
|
mkdir -p lib
|
|
|
|
cd lib
|
|
|
|
for dep in $DEPS; do
|
|
|
|
if [ -d "$dep" ]; then
|
2019-01-21 22:07:56 +01:00
|
|
|
darcs pull --repodir="$dep" --all
|
2019-01-14 02:50:14 +01:00
|
|
|
else
|
|
|
|
darcs clone "$VERVIS/$dep"
|
|
|
|
fi
|
|
|
|
done
|