horizon-pool-mgr1
Gui interface to manage horizon eda pool database
Usage
horizon-pool-mgr
Overview
This manual page documents the horizon-pool-mgr command.
horizon-pool-mgr starts the gui for initialising the pool, or pointing at a different one.
Usage
This is the normal way to initialise the pool, and a pool must be set up before horizon-prj-mgr is startewd.
Environment
This command requires the environment variable HORIZON_POOL to point to the pool's directory (the one with the pool.json and pool.db in it)