Commit df056cae authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[doc] Document desktop file shortcut creation

parent 4c966e1c
......@@ -182,6 +182,9 @@ At this point 2 commands are available in your shell:
- ``cadbiom``: Launch the GUI program.
- ``cadbiom_cmd``: Launch the command line program.
You can now add a shortcut to the desktop menu by following the directives in the chapter
`Install a desktop shortcut <./installation.html#id3>`_.
Install the development version
......@@ -260,6 +263,21 @@ If you encounter some problems with the precompiled solver (`2bits <annexe/solve
The solver CryptoMiniSat is an LGPL-licenced SAT solver, more information on `cryptominisat2 <>`_.
Install a desktop shortcut
The GUI module allows to install a shortcut in the desktop menu with the help of the following command:
.. code-block:: bash
$ cadbiom --install_desktop_shortcut
Please note that this will work only on GNU/Linux desktop environments like KDE, GNOME and their derivatives.
These systems agreed on an interoperable configuration file format describing how a particular program is to be launched,
how it appears in menus, etc.
See `Desktop Entry Specification <>`_.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment