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

Abierto Apto para principiantes
#61,439 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
75/100
Tipo de issue
Error
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
shell, zsh

Línea de trabajo

La lógica de selección de perfil está en scripts/install/install.sh, alrededor de las líneas 576-593, donde el instalador elige el archivo de inicio de Zsh al que añade PATH. Empieza ahí y cambia la elección para que respete ZDOTDIR antes de recurrir a HOME. Está terminado cuando la reproducción del issue imprime la marca personalizada de ZDOTDIR y encuentra codex en una sesión interactiva nueva de zsh -ic.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

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

Lenguaje dominante
Rust
Estrellas
135k
Forks
21.4k
Merge medio
1 min
PR fusionados (30 d)
997

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de openai/codex

Todos los issues de openai/codex

Issues similares

Más issues de Rust

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.