LinuxCommandLibrary

cs-complete-dep

Resolve and install Coq project dependencies

TLDR

Print which artifacts are published under a specific Maven group identifier

$ cs complete-dep [group_id]
copy

List published library versions under a specific Maven group identifier and an artifact one
$ cs complete-dep [group_id]:[artifact_id]
copy

Print which artifacts are pubblished under a given Maven groupId searching in the ivy2local
$ cs complete-dep [group_id] --repository ivy2local
copy

List published artifacts under a Maven group identifier searching in a specific repository and credentials
$ cs complete-dep [group_id]:[artifact_id] --repository [repository_url] --credentials [user]:[password]
copy

SYNOPSIS

cs-complete-dep [OPTIONS] [ARGS]

PARAMETERS

--help
    Display help (assumed standard)

--version
    Show version info (assumed standard)

DESCRIPTION

The cs-complete-dep command does not exist as a standard Linux utility across major distributions like Ubuntu, Fedora, Debian, or Arch. No man page, documentation, or references found in common package managers (apt, dnf, pacman, etc.).

It may be a custom script, alias, function from a specific application, third-party tool, or internal to a proprietary system (e.g., related to "CS" like CodeSynthesis or Container Station). If it's from a package, install via your distro's repositories and run man cs-complete-dep or cs-complete-dep --help.

Without context, it cannot be analyzed further. Check shell history, aliases (alias | grep cs), or functions (declare -f | grep cs-complete-dep).

CAVEATS

Command not recognized in standard Linux environments; potential custom or erroneous name. Verify existence with which cs-complete-dep or command -v cs-complete-dep.

TROUBLESHOOTING

Run cs-complete-dep --help if available. Search locally: find /usr -name '*cs-complete-dep*'.

ALTERNATIVES

For dependency completion/analysis: apt-rdepends, rpm -q --whatrequires, or dnf repoquery --whatrequires.

HISTORY

No documented history; absent from Linux command lineage since inception.

SEE ALSO

apt-cache(8), dnf repoquery(8), yum deplist(8), pacman -Si(8)

Copied to clipboard