Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Update `kup list` to show nicer and shorter version strings again

オープン
  • 何か問題がありますか？
#137 コメント 1 件 リアクション 0 件 担当者 1 名 GitHub で見る

@juliankuners がすでに取り組んでいます。

2025年7月31日 から。

評価

この issue はまだ評価されていません。

説明

Since recently, the version string in kup list has been more verbose and longer, including commit revision and hashes. This is most likely due to changes in nix.

Currently, kup list looks like this:

$ kup list
┌──────────────────────┬────────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────┐
│ Package name (alias) │ Installed version                                                                                      │ Status       │
├──────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────┼──────────────┤
│ kontrol              │ 714b9f76d4b73a98ff9bd58ad5961a354e41672c?narHash=sha256-K/bEkZSjKZjmQHwlbzdgOTGrpBDPRXsTWBBjs/4MYqI%3D │ 🟢 installed │
│ k.openssl.secp256k1  │ ea08909b72f56615ab7dfe7a6e17218b6be01de4?narHash=sha256-J0GVDFuRcq1jZ6wghuKMuahjzCkv2YRW4I0BBBCgyVw%3D │ 🟢 installed │
│ kup                  │                                                                                                        │ 🔵 available │
│ kavm                 │                                                                                                        │ 🔵 available │
│ kevm                 │                                                                                                        │ 🔵 available │
│ kplutus              │                                                                                                        │ 🔵 available │
│ kmir                 │                                                                                                        │ 🔵 available │
│ kmxwasm              │                                                                                                        │ 🔵 available │
│ komet                │                                                                                                        │ 🔵 available │
└──────────────────────┴────────────────────────────────────────────────────────────────────────────────────────────────────────┴──────────────┘

This is quite long and can be shortened.

主要言語
Python
スター
10
フォーク
2
30日以内にマージされた PR はありません

環境構築

このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

runtimeverification/kup のほかの issue

runtimeverification/kup の issue をすべて見る

似ている issue

Python の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。