Skip to content

fix(sync): guard optional bash profile helper - #67

Merged
andrei-hasna merged 1 commit into
mainfrom
fix/issue-65-optional-local-env-helper
Aug 7, 2026
Merged

fix(sync): guard optional bash profile helper#67
andrei-hasna merged 1 commit into
mainfrom
fix/issue-65-optional-local-env-helper

Conversation

@andrei-hasna

@andrei-hasna andrei-hasna commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Summary

  • canonicalize the exact unguarded . "$HOME/.local/bin/env" line while ingesting the managed bash-profile source
  • store a readable-file guard so login shells stay silent when the optional helper is absent
  • preserve environment initialization when the helper exists

Root cause

The canonical bash-profile config stored an unconditional source of an optional helper. Instructions then faithfully rendered those source bytes into ~/.bash_profile, causing every login shell to emit a missing-file error on machines without the helper.

Regression proof

  • before the production change, both absent-helper and present-helper tests failed because the stored source remained unguarded
  • after the change, focused suite: 28 pass, 0 fail
  • full suite: 623 pass, 0 fail
  • typecheck: exit 0
  • build: exit 0
  • staged and pre-push gitleaks: no leaks found
  • package-manager scan: clean

Scope

Only the known bash-profile source and its regression tests change. This PR does not merge, publish, install, apply a profile, or modify the rendered home file.

Task: cde9f87b-ff03-45d2-9882-4899f0ba1e8b

Fixes #65


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

Repair the canonical bash-profile source during known-config ingest so a missing optional local env helper cannot pollute login-shell stderr while the present helper still initializes the environment.

Task: cde9f87b-ff03-45d2-9882-4899f0ba1e8b

Issue: #65

Agent: cornificia
@andrei-hasna
andrei-hasna merged commit 8cc97a1 into main Aug 7, 2026
3 checks passed
@andrei-hasna
andrei-hasna deleted the fix/issue-65-optional-local-env-helper branch August 7, 2026 17:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

BUG: instructions — managed bash profile calls missing local env helper

1 participant