Command line

galactic

GALACTIC main application.

Usage

galactic [OPTIONS] COMMAND [ARGS]...

Options

--version

Show the version and exit.

GAlois LAttices, Concept Theory, Implicational systems and Closures.

config

Configure access to the package indexes.

Usage

galactic config [OPTIONS] COMMAND [ARGS]...

GAlois LAttices, Concept Theory, Implicational systems and Closures.

credential

Update credentials for an (extra) index URL entry.

Usage

galactic config credential [OPTIONS]

GAlois LAttices, Concept Theory, Implicational systems and Closures.

init

Add the GALACTIC public index URL.

Usage

galactic config init [OPTIONS]

GAlois LAttices, Concept Theory, Implicational systems and Closures.