Standalone installer ignores ZDOTDIR and leaves codex off PATH in new Zsh sessions

Aperta Adatta ai principianti
  • Qualcosa non va?
#61,439 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
75/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
shell, zsh
Ambito
developer-experience

Direzione di ricerca

La logica di selezione del profilo si trova in scripts/install/install.sh, intorno alle righe 576-593, dove l'installer sceglie il file di avvio di Zsh a cui aggiunge PATH. Inizia da lì e modifica la scelta in modo che rispetti ZDOTDIR prima di ricorrere a HOME. È completato quando la riproduzione descritta nell'issue stampa il marcatore personalizzato di ZDOTDIR e trova codex in una nuova sessione interattiva zsh -ic.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

bug CLI

With an exported ZDOTDIR, a successful standalone install adds its PATH block to ~/.zshrc. Linux Zsh reads $ZDOTDIR/.zshrc instead. The installer's instruction to open a new terminal and run codex then fails.

Steps to reproduce On Linux with Zsh, start in the Codex checkout. This uses a disposable home and starts with the installation directory off PATH.

installer="$PWD/scripts/install/install.sh"
d=$(mktemp -d)
mkdir -p "$d/home/.config/zsh"
printf 'export CUSTOM_ZSHRC_LOADED=yes\n' > "$d/home/.config/zsh/.zshrc"
env HOME="$d/home" ZDOTDIR="$d/home/.config/zsh" PATH=/usr/bin:/bin \
  SHELL=/bin/zsh CODEX_HOME="$d/codex-home" CODEX_INSTALL_DIR="$d/bin" \
  CODEX_NON_INTERACTIVE=1 sh "$installer"
env HOME="$d/home" ZDOTDIR="$d/home/.config/zsh" PATH=/usr/bin:/bin \
  /bin/zsh -ic 'echo "$CUSTOM_ZSHRC_LOADED"; command -v codex || echo missing'
test -x "$d/bin/codex"

Observed On Linux x86_64 with Zsh 5.9, the checkout's offline release fixture ran the installer at de83e7674a69b9ae18544dd1fbf53f31bfe8c640 to completion. It reported adding PATH to $HOME/.zshrc. A fresh interactive Zsh printed yes and missing, even though the installed executable existed.

Expected A new Zsh session that reads the user's configured startup directory should find the installed CLI.

Suggested fix Use ${ZDOTDIR:-$HOME} when choosing the Zsh startup file. Exercise the startup-file selection with a real interactive Zsh and an exported nondefault ZDOTDIR. Profile selection

Lingua principale
Rust
Stelle
135k
Fork
21.4k
Merge medio
1m
PR unite (30g)
997

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 openai/codex

Tutte le issue di openai/codex

Issue simili

Altre issue su Rust

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.