Skip to content

Commit

Permalink
dockerfile: generate a correct archive-mirror url for the cache
Browse files Browse the repository at this point in the history
  • Loading branch information
avsm committed Sep 15, 2021
1 parent edcf1bd commit 6c4e3da
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion bin/opam-web.sh
Original file line number Diff line number Diff line change
Expand Up @@ -47,8 +47,9 @@ redirect: [
EOF
mkdir -p /persist/repo-cache/archives
rm -rf archives; ln -s /persist/repo-cache/archives .
opam admin cache --link=archives /persist/repo-cache/cache
opam admin cache -n --link=archives /persist/repo-cache/cache
rsync -a /persist/repo-cache .
echo 'archive-mirrors: "cache"' >> repo
rm -f archives; rsync -a /persist/repo-cache/archives .
if [ -d /persist/legacy ]; then rsync -a /persist/legacy .; fi
opam admin index --minimal-urls-txt
Expand Down

0 comments on commit 6c4e3da

Please sign in to comment.