~brettgilio/orcircd-opam

3249fe3e36cc6ece65a187b5c8efc6dc86f6c6db — Brett Gilio 1 year, 1 month ago a1ba2f1
Add section on repository priorities in README
2 files changed, 20 insertions(+), 2 deletions(-)

M README.md
M docs/README.org
M README.md => README.md +10 -1
@@ 42,7 42,16 @@ to the next step, otherwise execute:

followed by

`$ opam repo add orcircd-repo https://orcircd.org/opam/development`
`$ opam repo add orcircd-opam https://orcircd.org/opam/development`

Now set `orcircd-opam`’s priority to be higher than the `default`
repository priority. If you have more than two repositories (after
adding `orcircd-opam`) you will need to adjust the syntax below
accordingly.

*[Note: This priority may be set already.]*

`$ opam repo priority orcircd-opam 1`

Last, you will need to update your repository databases and apply
any available upgrades.

M docs/README.org => docs/README.org +10 -1
@@ 42,7 42,16 @@ to the next step, otherwise execute:

followed by

=$ opam repo add orcircd-repo https://orcircd.org/opam/development=
=$ opam repo add orcircd-opam https://orcircd.org/opam/development=

Now set =orcircd-opam='s priority to be higher than the =default=
repository priority. If you have more than two repositories (after
adding =orcircd-opam=) you will need to adjust the syntax below
accordingly.

/[Note: This priority may be set already.]/

=$ opam repo priority orcircd-opam 1=

Last, you will need to update your repository databases and apply
any available upgrades.