Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

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

Aperta
  • Qualcosa non va?
#137 1 commento 0 reazioni 1 assegnatario Vedi su GitHub

@juliankuners ci sta già lavorando.

Dal 31/7/2025.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

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.

Lingua principale
Python
Stelle
10
Fork
2
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Non abbiamo ancora controllato i file di configurazione di questo progetto. Parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di runtimeverification/kup

Tutte le issue di runtimeverification/kup

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.