DOKK / manpages / debian 10 / horizon-eda / horizon-pool-update-parametric.1.en
HORIZON-POOL-UPDATE-PARAMETRIC(1) General Commands Manual HORIZON-POOL-UPDATE-PARAMETRIC(1)

horizon-pool-update-parametric - recreates the pool's parametric SQLite database for horizon EDA

horizon-pool-update-parametric

This manual page documents the horizon-pool-update-parametric command.

horizon-pool-update-parametric recreates the pool's parametric SQLite database

There is normally little reason to run this command directly. Normally horizon-pool-mgr will run it. But it can be useful for debugging.

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