Vervis/update-deps.sh
Pere Lev b9ab5e546a
Upgrade to LTS 18 (last LTS with GHC 8)
The major changes:

- No more hit and hit-* packages
- No more diagram and SVG font stuff
- Dependency on darcs is not yet removed
- No more persistent-graph i.e. recursive SQL queries
- Some hit-network stuff still in use, now part of Vervis itself
- Git operations use the git command-line program, a convenient API is provided
  in Data.Git.Local
- No more patch parsing and no diff view, patches are treated as a piece of
  text and displayed as-is (although I could add syntax-highlighting as a nice
  touch for the HTML view)
2024-07-18 13:57:41 +03:00

22 lines
490 B
Bash
Executable file

#!/bin/sh
VERVIS='https://vervis.peers.community/repos'
DEPS="6r4Ao ssh"
mkdir -p lib
cd lib
echo $DEPS | while read -r dep
do
slug=$(echo $dep | cut --fields=1 --delimiter=' ')
name=$(echo $dep | cut --fields=2 --delimiter=' ')
echo
if [ -d "$name" ]; then
echo "Updating dependency $name"
darcs pull --repodir="$name" --all
else
echo "Cloning dependency '$name' from $VERVIS/$slug"
darcs clone "$VERVIS/$slug" "$name"
fi
done