NAME
horizon-pool-mgr - GUI interface to manage horizon EDA pool database
SYNOPSIS
horizon-pool-mgr
DESCRIPTION
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)