ekb_delete(1)

ekb_delete1

Manual page for ekb_delete 3.2.5

Usage

ekb_delete [options] <name>

Overview

ekb_delete 3.2.5

Remove the example <name> from an E knowledge base.

Options

-h

--help

Print a short description of program usage and options.

--version

Print the version number of the program.

-v

--verbose[=<arg>]

Verbose comments on the progress of the program. The short form or the long form without the optional argument is equivalent to --verbose=1.

-k <arg>

--knowledge-base=<arg>

Select the knowledge base. If not given, select E_KNOWLEDGE.

Releases

2 releases since Debian 12 (Bookworm); the text changed 1 time.

  1. 12
  2. 13

Reporting bugs

Report bugs to <[email protected]>. Please include the following, if possible:

* The version of the package as reported by eprover --version.

* The operating system and version.

* The exact command line that leads to the unexpected behaviour.

* A description of what you expected and what actually happened.

* If possible all input files necessary to reproduce the bug.

From eprover 3.2.5+ds-1 in Debian 13 (Trixie). Parsed by carta from the page's man source.