hannes/hannes.robur.coop
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

.

Browse source
This commit is contained in:
Hannes Mehnert 2017-02-17 22:59:57 +00:00
parent 027da56fa1
commit 720082b308
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Posts/Conex
View file

@ -131,14 +131,13 @@ TODO: remove pin once [PR 8493](https://github.com/ocaml/opam-repository/pull/84
```bash ```bash
$ git clone -b auth https://github.com/hannesm/opam-repository.git repo $ git clone -b auth https://github.com/hannesm/opam-repository.git repo
$ opam pin add opam-file-format --dev-repo
$ opam pin add conex https://github.com/hannesm/conex.git $ opam pin add conex https://github.com/hannesm/conex.git
$ opam install conex $ opam install conex
$ cd repo $ cd repo
``` ```
This will install conex, namely command line utilities, `conex_author` and This will install conex, namely command line utilities, `conex_author` and
`conex_verify_nocrypto`. All files read and written by conex are in the usual `conex_verify_nocrypto`/`conex_verify_openssl`. All files read and written by conex are in the usual
opam file format. This means can always manually modify them (but be careful, opam file format. This means can always manually modify them (but be careful,
modifications need to increment counters, add checksums, and be signed). Conex modifications need to increment counters, add checksums, and be signed). Conex
does not deal with git, you have to manually `git add` files and open pull does not deal with git, you have to manually `git add` files and open pull