Skip to content

Commit

Permalink
Merge pull request #234 from hannesm/append-not-overwrite
Browse files Browse the repository at this point in the history
opam-web.sh: append the redirect to the repo file, instead of replacing the entire file
  • Loading branch information
kit-ty-kate authored May 29, 2024
2 parents d3d36b8 + 99cb76c commit 77d2867
Showing 1 changed file with 2 additions and 5 deletions.
7 changes: 2 additions & 5 deletions bin/opam-web.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,11 +22,8 @@ mv opam-repository/* .
mv opam-repository/.git .
rm -rf opam-repository

# Overwrite 'repo' file, and dispatch all non-standard versions
cat <<EOF >repo
opam-version: "2.0"
browse: "https://${BASEURL}/pkg/"
upstream: "https://github.com/ocaml/opam-repository/tree/master/"
# Append to the 'repo' file, and dispatch all non-standard versions
cat <<EOF >>repo
redirect: [
"https://${BASEURL}/1.1" { opam-version < "1.2" }
"https://${BASEURL}/1.2.0" { opam-version < "1.2.2" }
Expand Down

0 comments on commit 77d2867

Please # to comment.