1.2 KiB
1.2 KiB
| title | state | created_at | updated_at | assignee | queued_by | queued_at |
|---|---|---|---|---|---|---|
| Document dev workspace process script usage | closed | 2026-07-18T10:09:26Z | 2026-07-18T10:10:43Z | null | yoi ticket | 2026-07-18T10:09:33Z |
背景
scripts/dev-workspace.sh は backend/runtime/frontend を停止・再起動する開発用スクリプトで、誤って foreground 実行や frontend restart を行うと API セッションやブラウザ接続に影響する。スクリプト本体を読むだけで安全な使い方と注意が分かるようにする。
要件
- スクリプト先頭コメントに基本コマンドを記載する。
start/stop/restartが既定で detached schedule されることを明記する。restartは frontend を触らないことを明記する。- frontend も付け替える時は
start/stopを使う注意を書く。 - foreground override は通常使わない注意を書く。
受け入れ条件
scripts/dev-workspace.shの先頭を読めば使い方と注意が分かる。bash -n scripts/dev-workspace.shが通る。scripts/dev-workspace.sh --helpが通る。- mutating action は実行しない。