diff --git a/rewrite-local-opam-repository.sh b/rewrite-local-opam-repository.sh new file mode 100755 index 000000000..ef2fcf0af --- /dev/null +++ b/rewrite-local-opam-repository.sh @@ -0,0 +1,8 @@ +#!/bin/bash +set -euET -o pipefail +root_dir="$(pwd | sed -e 's/\\/\\\\/' | sed -e 's/&/\\\&/' | sed -e 's/~/\\~/')" +cd vendors/ligo-opam-repository +git grep -z -l src: | xargs -0 \ + sed -i -e 's~src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz"~src: "git+file://'"$root_dir"'"~' \ + -e 's~src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz"~src: "git+file://'"$root_dir"'/vendors/ligo-utils"~' \ + -e 's~src: "https://gitlab.com/gabriel.alfour/tezos-modded/-/archive/master/tezos-modded.tar.gz"~src: "git+file://'"$root_dir"'/vendors/tezos-modded"~'