Feat: allow passing multiple install targets in CLI

Open
#110 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
55/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Stale
Tech stack
python
Domain
cli

Research direction

Start at the argument parsing and install entry point for the kup install command shown in the report, then trace how one target is handled. Define the accepted multi-target behavior and verify that kup install kontrol kore-rpc kore-exec kevm k processes each target successfully; the alternative meta-package behavior is not specified.

Written by the indexing model from the issue text.

Description

Passing multiple install targets is not possible

$ kup install kontrol kore-rpc kore-exec kevm k
usage: kup [-h] {list,install,uninstall,shell,doctor,add,publish,gc} ...
kup: error: unrecognized arguments: kore-rpc kore-exec kevm k

It would be great to be able to do that or have some 'meta' package of packages (e.g. ethereum: kevm kore-rpc kontrol)

Dominant language
Python
Stars
10
Forks
2
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from runtimeverification/kup

All issues in runtimeverification/kup

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.