kup ignores shell env settings, must pass env directly

Valutazione

Direzione di ricerca

Descrizione

$ export GH_TOKEN=github_pat_(...)
$ kup install kore-rpc
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 198.54.132.185. (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/evm-semantics/commits/HEAD': HTTP error 403

$ GH_TOKEN=github_pat_(...) kup install kore-rpc
 ⌛ Building 'kore-rpc' ...
 ✅ Successfully installed 'kore-rpc' version github:runtimeverification/haskell-backend/e50cdfc9943ad683ef7cd9917f7599f322a53b78#packages.aarch64-darwin.kore-rpc (master).

Preparare l'ambiente

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

• Check version of already installed nix binary

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

  runtimeverification/kup#149 · Aperta il 22/4/2026

• `--version` argument in `kup install` doesn't disambiguate between paths and branch names

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/kup#138 · Aperta il 18/8/2025

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

  Forse di nuovo libera @juliankuners l’ha presa 425 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/kup#137 · 1 commento · 1 assegnatario · Aperta il 31/7/2025

• Add more Nix versions to test CI workflow

  Forse di nuovo libera @juliankuners l’ha presa 425 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/kup#136 · 1 assegnatario · Aperta il 31/7/2025

• Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions

  Forse di nuovo libera @juliankuners l’ha presa 426 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/kup#135 · 1 assegnatario · Aperta il 31/7/2025

Tutte le issue di runtimeverification/kup

Issue simili

• Add support for cli completion in git bash for windows

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  customer-reported

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  Azure/azure-cli#34150 · 1 commento · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

• docs: fix typo in version selector CSS comment

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  community-request

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100

  NVIDIA-NeMo/Curator#2464 · 1 commento · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

• weblate-discover crashes with an unhandled FileNotFoundError when the directory does not exist

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  WeblateOrg/translation-finder#1099 · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

• xtask memory usage leaves out sections with names of 15 or more characters

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  trezor/trezor-firmware#7997 · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 2 giorni

• TypedTableBlock Duplicate changes the caption to literal undefined

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  wagtail/wagtail#14662 · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

Altre issue su Python