Do not use terminal control codes on `kup` output when it's not a terminal
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 48/100
Direzione di ricerca
Start by locating the kup list output and its terminal-detection logic, then reproduce the issue with kup list | tee z and inspect the captured output. Done means piped or redirected output contains no terminal control codes, while interactive terminal output retains its formatting.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
c$ kup list | tee z
warning: error: unable to download 'https://api.github.com/repos/runtimeverification/k/commits/HEAD': HTTP error 403
response body:
{"message":"API rate limit exceeded for 122.249.238.158. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)","documentation_url":"https://docs.github.com/rest/overview/resources-in-the-rest-api#rate-limiting"}; using cached version
warning: error: unable to download 'https://api.github.com/repos/runtimeverification/kup/commits/HEAD': HTTP error 403
response body:
{"message":"API rate limit exceeded for 122.249.238.158. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)","documentation_url":"https://docs.github.com/rest/overview/resources-in-the-rest-api#rate-limiting"}; using cached version
┌──────────────────────┬────────────────────────────────────────────────────────────────────────────────────────────────────────────────┬────────────────────────────┐
│ Package name (alias) │ Installed version │ Status │
├──────────────────────┼────────────────────────────────────────────────────────────────────────────────────────────────────────────────┼────────────────────────────┤
│ k │ f73063d8260ca1a40c9e850db60f3a9a1dcb691f?narHash=sha256-pFOw/vJ6g9bM8PzfiaZtSc89Vohmcu/rCkxZiQAeAEo%3D │ 🟠 newer version available │
│ kup │ ee27b243e7944099d1868b8ccb21d2a74b016e30?narHash=sha256-BKmc7jyM6xJ%2BfcCKO7X%2Bw57s5n%2B3fpC6%2BK//NtcmqDw%3D │ 🟢 installed │
│ kavm │ │ 🔵 available │
│ kevm │ │ 🔵 available │
│ kplutus │ │ 🔵 available │
│ kmir │ │ 🔵 available │
│ kontrol │ │ 🔵 available │
│ kmxwasm │ │ 🔵 available │
└──────────────────────┴────────────────────────────────────────────────────────────────────────────────────────────────────────────────┴────────────────────────────┘
c$ cat -v z
^[(0lqqqqqqqqqqqqqqqqqqqqqqwqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqwqqqqqqqqqqqqqqqqqqqqqqqqqqqqk^[(B
^[(0x^[(B Package name (alias) ^[(0x^[(B Installed version ^[(0x^[(B Status ^[(0x^[(B
^[(0tqqqqqqqqqqqqqqqqqqqqqqnqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqnqqqqqqqqqqqqqqqqqqqqqqqqqqqqu^[(B
^[(0x^[(B k ^[(0x^[(B f73063d8260ca1a40c9e850db60f3a9a1dcb691f?narHash=sha256-pFOw/vJ6g9bM8PzfiaZtSc89Vohmcu/rCkxZiQAeAEo%3D ^[(0x^[(B M-pM-^_M-^_M- ^[[93mnewer version available^[[0m ^[(0x^[(B
^[(0x^[(B kup ^[(0x^[(B ee27b243e7944099d1868b8ccb21d2a74b016e30?narHash=sha256-BKmc7jyM6xJ%2BfcCKO7X%2Bw57s5n%2B3fpC6%2BK//NtcmqDw%3D ^[(0x^[(B M-pM-^_M-^_M-" ^[[92minstalled^[[0m ^[(0x^[(B
^[(0x^[(B kavm ^[(0x^[(B ^[(0x^[(B M-pM-^_M-^TM-5 ^[[94mavailable^[[0m ^[(0x^[(B
^[(0x^[(B kevm ^[(0x^[(B ^[(0x^[(B M-pM-^_M-^TM-5 ^[[94mavailable^[[0m ^[(0x^[(B
^[(0x^[(B kplutus ^[(0x^[(B ^[(0x^[(B M-pM-^_M-^TM-5 ^[[94mavailable^[[0m ^[(0x^[(B
^[(0x^[(B kmir ^[(0x^[(B ^[(0x^[(B M-pM-^_M-^TM-5 ^[[94mavailable^[[0m ^[(0x^[(B
^[(0x^[(B kontrol ^[(0x^[(B ^[(0x^[(B M-pM-^_M-^TM-5 ^[[94mavailable^[[0m ^[(0x^[(B
^[(0x^[(B kmxwasm ^[(0x^[(B ^[(0x^[(B M-pM-^_M-^TM-5 ^[[94mavailable^[[0m ^[(0x^[(B
^[(0mqqqqqqqqqqqqqqqqqqqqqqvqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqvqqqqqqqqqqqqqqqqqqqqqqqqqqqqj^[(B
c$
The cat -v output gives a pretty good sense of what this looks like in my editor, as well.
- Lingua principale
- Python
- Stelle
- 10
- Fork
- 2
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di runtimeverification/kup
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
runtimeverification/kup#149 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againForse di nuovo libera @juliankuners l’ha presa 440 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#137 · 1 commento · 1 assegnatario ·
-
Add more Nix versions to test CI workflowForse di nuovo libera @juliankuners l’ha presa 440 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#136 · 1 assegnatario ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsForse di nuovo libera @juliankuners l’ha presa 440 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#135 · 1 assegnatario ·
Tutte le issue di runtimeverification/kup
Issue simili
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
Deltares/imod-python#1940 ·
I maintainer di solito rispondono entro 1 giorno
-
effort: low prio: low ready
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 82/100
digitalfabrik/integreat-cms#4621 ·
I maintainer di solito rispondono entro 5 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
ioos/compliance-checker#1375 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno