Skip to content

Commit

Permalink
irmin-pack-tools: fix readme
Browse files Browse the repository at this point in the history
  • Loading branch information
clecat committed Oct 9, 2023
1 parent c4220c5 commit 34b7985
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 7 deletions.
4 changes: 0 additions & 4 deletions irmin-pack-tools.opam
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,6 @@ depends: [
"alcotest" {with-test}
]

pin-depends: [
["prettree.dev" "git+https://github.com/art-w/prettree.git#568de08442f02dd87acc84ca6a91cc661b7e77bf"]
]

synopsis: "Utils for Irmin-pack"
description: """
`Irmin-pack-tools` defines useful binaries and libraries for
Expand Down
7 changes: 4 additions & 3 deletions src/irmin-pack-tools/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ Currently, there are the following tools:
- [`ppcf`](#ppcf), a json printer for control files
- [`ppidx`](#ppidx), a json printer for index folders
- [`tezos-explorer`](#tezos-explorer), a notty ui for a fast exploration of tezos stores
- [`tezos-explorer-gyu`](#tezos-explorer-gui), a graphical ui for a fast exploration of tezos stores
- [`tezos-explorer-gui`](#tezos-explorer-gui), a graphical ui for a fast exploration of tezos stores

## ppcf
This tool prints a control file in a human readable manner (json), allowing to fetch important informations easily.
Expand Down Expand Up @@ -104,8 +104,9 @@ $ jq -s 'sort_by(.off)' -- index
TODO

## tezos-explorer-gui
This tool is a graphical UI, meant to allow the user to figure out rapidly the shape of a commit, giving him informations on it's content.
This tool is a graphical UI, meant to allow the user to figure out rapidly the shape of a commit, giving them informations on its content.
In order to launch it, uncomment the `dune` file under the path `src/irmin-pack-tools/tezos_explorer_gui` and install the deps `tsdl` and `tsdl-ttf`.
You will also need to pin the package `prettree` with `git+https://github.com/art-w/prettree.git#568de08442f02dd87acc84ca6a91cc661b7e77bf`.
It can be launched using the following command:
```shell
$ dune exec -- irmin-tezos-explorer-gui <path-to-store> <path-to-ttf-font> <commit>
Expand All @@ -115,7 +116,7 @@ The first argument is the path to the root of the store (e.g. `output/root/`).

The second argument is the path to a `.ttf` file, necessary to know which font to use when printing strings.

The third argument is an int, the `nth` commit stored in the index of the store that will be showned first.
The third argument is an int, the `nth` commit stored in the index of the store that will be shown first.

Once the program is launched, you can:
- Navigate through the indexed commits using the left and right arrows.
Expand Down

0 comments on commit 34b7985

Please sign in to comment.