Keep sandbox PATH for login shells via managed ~/.profile block #4

Merged

mathieu merged 1 commit from lain/entrypoint-path-profile-20261102103741 into main

2026-11-02 09:40:59 +00:00

Lain commented

2026-11-02 09:39:09 +00:00

Collaborator

The entrypoint already puts the asdf shims and aqua bin on PATH for child shells. Debian's /etc/profile resets PATH for login shells (bash -l, tmux, ssh), so they lost those dirs.

This writes an idempotent managed block to ~/.profile that re-applies DASH_TOOLS/bin and DASH_PATH at login. The rest of ~/.profile is kept.

Tests: child-shell PATH, login-shell PATH, and block idempotence in internal/assets.

The entrypoint already puts the asdf shims and aqua bin on PATH for child shells. Debian's /etc/profile resets PATH for login shells (bash -l, tmux, ssh), so they lost those dirs. This writes an idempotent managed block to ~/.profile that re-applies DASH_TOOLS/bin and DASH_PATH at login. The rest of ~/.profile is kept. Tests: child-shell PATH, login-shell PATH, and block idempotence in internal/assets.

Lain added 1 commit

2026-11-02 09:39:09 +00:00

Keep sandbox PATH for login shells via managed ~/.profile block

ci / test (pull_request) Successful in 1m10s

Details

7c2159d0e1

Debian's /etc/profile resets PATH, so bash -l, tmux and ssh lost the asdf
shims and aqua bin. The entrypoint now writes an idempotent dash block to
~/.profile that re-applies DASH_TOOLS/bin and DASH_PATH at login.

Tests cover child-shell PATH, login-shell PATH, and block idempotence.