Do not use terminal control codes on `kup` output when it's not a terminal
还没有人认领这个 Issue。
评估
调研方向
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 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 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 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#137 · 1 条评论 · 已指派 1 人 ·
-
Add more Nix versions to test CI workflow可能重新可做 @juliankuners 于 440 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#136 · 已指派 1 人 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions可能重新可做 @juliankuners 于 440 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#135 · 已指派 1 人 ·
查看 runtimeverification/kup 的全部 Issue
相似的 Issue
-
customer-reported question
难度 2/5 1-3 小时 新手友好度 62/100
Azure/azure-sdk-for-python#49548 · 1 条评论 · 1 个 reaction ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
btclib-org/btclib-wallet#409 ·
维护者通常 1 天内回复
-
Phase 2 PSA Capability & Career Profile
难度 2/5 1-3 小时 新手友好度 62/100
bcgov/digital-journeys#2310 ·
-
bug good first issue
难度 2/5 1-3 小时 新手友好度 78/100
fastmachinelearning/hls4ml#1582 ·
维护者通常 3 天内回复
-
Sort models未关闭enhancement good first issue
难度 2/5 1-3 小时 新手友好度 62/100
维护者通常 1 天内回复