diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2022-08-15 08:00:46 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2022-08-15 08:00:46 -0700 |
| commit | 1dfd4cc57e340f085d17eaa9bd92d83bc2d482b2 (patch) | |
| tree | b088b58bd25efaa9618ba782573c25e1a5869a40 | |
| parent | e55119040c31bb0870e73679239c9cdebc78a14c (diff) | |
| download | ger2err-master.tar.gz ger2err-master.tar.bz2 ger2err-master.zip | |
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -15,12 +15,14 @@ HTTPS credentials for the API, that you can create inside Gerrit. Here `$` represents your shell prompt: + ::shell $ export GER2ERR_SERVER=https://your.intranet.local/gerrit $ export GER2ERR_USERID=yuzer $ export GER2ERR_PASSWORD=ApTKT7YA16sg5cza31mx Now we can get some comments: + ::txt $ ger2err I62b7e3e79fbeaece243eff2f369b3a90fae9628d comments from patch set 1 lib/parser/scan.c:1357:20: unresolved comment by Co Worker (co.worker) @@ -45,6 +47,7 @@ to look for `txrlisp` in the `PATH`. Just make it executable and use it. You can compile it if you want. + ::txt $ txr --compile=ger2err:ger2err.out Now `ger2err.out` is a compiled version you can install as `ger2err` |