Rechercher une page de manuel
edos-debcheck
Langue: en
Version: 256661 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
Edos-debcheck - Check satisfiability of Debian package dependenciesSYNOPSIS
edos-debcheck [option] ... [package] ...DESCRIPTION
edos-debcheck reads from standard input a set of Debian package descriptions, each of which is in the format of deb-control(5). For instance, the Packages files as found on a Debian mirror server, or in the directory /var/lib/apt/lists/ of a Debian system, are suitable as input to edos-debcheck.Packages may appear with multiple versions in this set. We say that a package is identified in this set by the pair consisting of the package name and of the package version.
A package (called goal) is called installable with respect to a set of packages if there exists a subset of the packages that
- contains at most one version for each package name
- contains the goal package (in any version, or a specific version)
- all packages of the subset have their dependencies and conflicts satisfied in this subset.
Debcheck checks whether every package given as argument is installable with respect to the input set of packages. Specific versions can be specified by following the package name with the sign '=' and the version of the package (for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument then all packages of the input set are checked for satisfiability.
The constraint solving algorithm is complete, that is it finds a solution whenever there exists one, even for multiple disjunctive dependencies and deep package conflicts. This problem is computationally infeasible in theory (that is, NP-complete), but can in practice be solved very efficiently for Packages files occurring actually in Debian.
OPTIONS
- -check
- Double-check the results
- -explain
- Explain the results
- -rules
- Print generated rules
- -failures
- Only show failures
- -successes
- Only show successes
- -help, --help
- Display this list of options
EXAMPLE
Check which packages in a particular distribution are not installable and why:
edos-debcheck -failures -explain < Packages
where Packages is the file pertaining to that distribution, as for instance found in the directory /var/lib/apt/lists.
Check whether version 21.4.17-1 of the xemacs21 package is installable in a distribution described by the file Packages:
edos-debcheck -explain xemacs=21.4.17-1 < Packages
AUTHOR
Edos-debcheck has been written by Jerome Vouillon for the EDOS project. This man-page has been compiled by Ralf Treinen.SEE ALSO
deb-control(5)<http://www.edos-project.org> is the home page of the EDOS project.
edos-rpmcheck(1) is the analogous tool for rpm packages.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre