Can we have a simple description of the problem `kup` solves?
まだ誰も着手していません。
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 35/100
- issue の種類
- ドキュメント
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- nixos, python
調査の方向性
Start by reading the kup source and the existing instructions referenced in the issue, then compare its role with NixOS and the K Framework tooling. Done means adding a concise explanation of the problem kup solves and how it differs from using NixOS alone.
索引モデルが issue の本文から書いたものです。
説明
Hi,
I'm new to both K and NixOS, although I've been watching NixOS for a while and wanted to use it. So, a lot is a bit overwhelming.
One thing that is a bit confusing to me, even after searching, is the precise role of kup. I think it's not quite documented anywhere; it's said that it manages the installation of the bits and pieces of K, using NixOS as a backend. What I find is there is instructions of how to do things, which probably is the most important part for most users. And then I found this bit in an old Medium post:
Easy Installation
We have developed a one-line installation tool called kup, which is based on Nix. It provides a simple package manager for K-based projects, allowing a user to install and maintain everything with a simple command. We have made changes to the CLI options to improve the usability of the tools. The image below shows the CLI interface:
I presume kup solves some technical problem that was not entirely trivial using only NixOS. I guess originally I was a bit suspicious (due to my some security background); then I skimmed the source code of kup, and now I'm just curious. :)
Is it something like managing the dependencies between different versions of K Framework tools better than NixOS supports?
I can see that a lot of work has gone into making this user friendly, and I genuinely appreciate it!
- 主要言語
- Python
- スター
- 10
- フォーク
- 2
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/kup のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
runtimeverification/kup#149 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings again再び着手できるかも @juliankuners が 426 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#137 · コメント 1 件 · 担当者 1 名 ·
-
Add more Nix versions to test CI workflow再び着手できるかも @juliankuners が 426 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#136 · 担当者 1 名 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions再び着手できるかも @juliankuners が 426 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#135 · 担当者 1 名 ·
runtimeverification/kup の issue をすべて見る
似ている issue
-
bug server
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
sportsdataverse/sportsdataverse-py#641 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
googleapis/google-cloud-python#18532 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信