🤖 verification skills: harden check.sh and verify.sh argument and file handling (#391 follow-ups)
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
阅读 hack/formal/aigatewaykey/check.sh 和 .mux/skills/verify-coder-k8s/scripts/verify.sh。检查 check.sh 如何解析 --config、--out 和 --set，然后检查 load_run 以及 verify.sh 中的 EXIT 陷阱。完成标准：缺少选项值时以退出码 2 退出；如果 run.env 是符号链接，或具有组或其他用户的写权限，则将其拒绝；并且当 VERIFY_RUN_DIR 中含有单引号时，陷阱处理仍能正常工作；issue 中没有提及测试或运行命令。
由索引模型根据 Issue 内容生成。
描述
Follow-ups from Codex review round 4 on #391. Under the review limit for #391 (rounds 4 to 6 fix blockers only), I judged these minor and deferred them.
hack/formal/aigatewaykey/check.sh:--config,--outor--setas the last argument exits 1 ("unbound variable"). Exit 1 means a rule violation. A malformed call must exit 2. Fix: check that each option has a value before reading$2..mux/skills/verify-coder-k8s/scripts/verify.shload_run: before it sourcesrun.env, check that the file is a regular file (not a symlink) with no group or other write bits. Launch creates it with mode 0600 in a private run dir, so this matters only after someone changes its mode.verify.shEXIT traps (coder-apiport-forward, temp files): the traps build shell code from expanded paths. A'inVERIFY_RUN_DIRbreaks the trap and leaves the port-forward running. Use a trap function that reads already-set variables.
Trigger: the next change to either script.
Generated with mux • Model: anthropic:claude-opus-5-5 • Thinking: high
- 主要语言
- Go
- 星标
- 5
- 派生
- 3
- 平均合并
- 2 小时 56 分钟
- 30 天内合并 PR
- 185
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
coder/coder-k8s 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 45/100
维护者通常 1 天内回复
-
CoderProvisioner: inherited key-record pruning and legacy-record limits after #420可能已有人在做 @ThomasK33 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 25/100
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 22/100
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 22/100
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 45/100
维护者通常 1 天内回复
相似的 Issue
-
bug from-studio
难度 2/5 1-3 小时 新手友好度 65/100
esengine/DeepSeek-Reasonix#14868 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 80/100
project-zot/zot#4636 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
keyxmakerx/Chronicle#1911 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
eugenioenko/ttt#1293 · 1 条评论 · 1 个 reaction ·
维护者通常 1 天内回复
-
needs/area needs/kind needs/priority
难度 2/5 1-3 小时 新手友好度 80/100
维护者通常 1 天内回复