499e26db48
The actor key will be used for all actors on the server. It's held in a `TVar` so that it can always be safely updated and safely retrieved (technically there is a single writer so IORef and MVar could work, but they require extra care while TVar is by design suited for this sort of thing).
26 lines
473 B
Bash
26 lines
473 B
Bash
#!/bin/sh
|
|
|
|
VERVIS='https://dev.angeley.es/s/fr33domlover/r'
|
|
|
|
DEPS='hit-graph
|
|
hit-harder
|
|
hit-network
|
|
darcs-lights
|
|
darcs-rev
|
|
http-signature
|
|
ssh
|
|
persistent-migration
|
|
persistent-email-address
|
|
time-interval-aeson
|
|
yesod-http-signature
|
|
yesod-mail-send'
|
|
|
|
mkdir -p lib
|
|
cd lib
|
|
for dep in $DEPS; do
|
|
if [ -d "$dep" ]; then
|
|
darcs pull --repodir="$dep"
|
|
else
|
|
darcs clone "$VERVIS/$dep"
|
|
fi
|
|
done
|