Conversation
ReviewGood direction overall: temp-dir + trap cleanup, Bugs / risks
Tests
SecurityNothing new introduced; Minor
|
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: d42ea0d8dd
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| local config_file="$1" | ||
| local source_file="$2" | ||
| local source_line="source ${source_file}" | ||
| local source_line="source \"${source_file}\"" |
There was a problem hiding this comment.
Migrate the previously emitted unquoted source line
When an existing user reruns the installer, their config contains the old generated form source /home/.../.shelltime/hooks/bash.bash, which does not match this newly quoted string, so the installer appends a second source line. Bash then loads hooks/bash.bash twice and appends duplicate entries to preexec_functions and precmd_functions (lines 70–71), causing each command to be tracked twice; detect or replace the legacy spelling before appending the quoted form.
Useful? React with 👍 / 👎.
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
A failed hook download could replace a working installation, and unquoted hook paths broke startup in directories containing spaces.
Validation: Bash and Zsh syntax checks passed, along with both Python installer failure-path tests.