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)

                                            2018.03.31                        HORIZON-POOL-MGR(1)