Do not use terminal control codes on `kup` output when it's not a terminal
まだ誰も着手していません。
評価
調査の方向性
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.
索引モデルが issue の本文から書いたものです。
説明
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.
- 主要言語
- Python
- スター
- 10
- フォーク
- 2
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず 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 が 440 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#137 · コメント 1 件 · 担当者 1 名 ·
-
Add more Nix versions to test CI workflow再び着手できるかも @juliankuners が 440 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#136 · 担当者 1 名 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions再び着手できるかも @juliankuners が 440 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#135 · 担当者 1 名 ·
runtimeverification/kup の issue をすべて見る
似ている issue
-
good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
btclib-org/btclib-node#1955 ·
メンテナーはふだん 1 日以内に返信
-
documentation v0.9.2
難易度 2/5 半日 初心者へのやさしさ 72/100
khuisman/mcp-gee-sweet#1033 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
ossf/cve-bin-tool#5966 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
メンテナーはふだん 2 日以内に返信
-
write_iceberg ignores the table's write.parquet.compression-codec property対応中かも @YuangGao が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
Eventual-Inc/Daft#7606 ·
メンテナーはふだん 1 日以内に返信