Skip to content

Do not use terminal control codes on kup output when it's not a terminal #120

@0cjs

Description

@0cjs
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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions