Repository navigation
Skill: native encodings, reused figures, TinyTeX location - #1
Conversation
…cks; TinyTeX outside home Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 126abb465e
ℹ️ 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".
| has everything; on a cluster, look for a module (`module spider texlive`). Otherwise TinyTeX, no root needed: | ||
| ```bash | ||
| curl -sL "https://yihui.org/tinytex/install-bin-unix.sh" | sh # into ~/.TinyTeX, binaries linked into ~/.local/bin | ||
| curl -sL "https://yihui.org/tinytex/install-bin-unix.sh" | sh # into ~/.TinyTeX; TINYTEX_DIR=<dir> to keep it out of home |
There was a problem hiding this comment.
For cluster users with a constrained home directory, this hint does not provide a working invocation: the displayed pipeline still installs into ~/.TinyTeX, while the natural adaptation TINYTEX_DIR=/scratch/... curl ... | sh exposes the variable only to curl, not to the installer running under sh. The TinyTeX FAQ requires setting the variable before running the script, so show an export TINYTEX_DIR=... line or place the assignment on the sh side of the pipe.
Useful? React with 👍 / 👎.
There was a problem hiding this comment.
Right: the assignment reached only curl. Fixed in b34ded5: the hint now reads ... | TINYTEX_DIR=<dir> sh.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 participant
Rules agent sessions had kept in local notes:
TINYTEX_DIRkeeps it out of home, for machines with a small home quota.🤖 Generated with Claude Code