管理者と最初のプロジェクトを作成する
Windows のブラウザーで http://localhost:8080/launchpad を開き、最初の管理者アカウントを作成してログインします。その後、Linux ガイドの 6. インストール後のタスクに従ってください。その際、例の URL ではポート8080 を使用してください。
コンパイルを確認する
ログインページが動作しても、個別のコンパイラーコンテナが WSL のデータディレクトリにアクセスできることの証明にはなりません。空のプロジェクトを作成し、次のmain.tex を pdfLaTeX でコンパイルしてください:
ctex と必要なフォントを含むイメージを使用してください。basic にはこれらが含まれていません:
docker ps の実行前に終了することがあります。-a を付けると、クリーンアップされるまでは停止したコンテナも表示されます。コンパイラーコンテナは、そのイメージと、Toolkit の WSL データディレクトリからの /compile バインドマウントを使用しているはずです。アプリケーションのログだけでは、PDF の確認の代わりにはなりません。
永続化を確認する
Ubuntu で、Toolkit のディレクトリから次を実行します:~/ayakaleaf-toolkit/data/ にあります。config/ と data/ の両方を保持してください。Ubuntu ディストリビューションをアンインストールまたは登録解除すると、これらが削除される可能性があります。
インスタンスを利用可能な状態に保つ
インスタンスを稼働させ続けるには、3 つの要素があります。Windows がスリープしないこと、Docker Desktop が実行されていること、そしてコンテナがエンジンとともに再起動することです。 Docker Desktop の Settings → General で Start Docker Desktop when you sign in to your computer をオンにしてください。Docker Desktop の設定を参照してください。これにより Docker はログイン後に起動しますが、ログイン前には起動しません。Windows を再起動した後は、サインインして Docker Desktop の起動が完了するまで待ち、Ubuntu を開いてdocker ps とサイトを確認してください。
Docker Desktop の Resource Saver は Windows のスリープとは別のものです。通常はコンテナが 1 つも実行されていないときにのみ有効になり、実行中のアプリケーション、MongoDB、Redis がそのアイドル状態を防ぎます。WSL 2 では、共有の WSL VM をシャットダウンするのではなく、Docker エンジンを一時停止します。ユーザーにサービスを提供している間は、Docker Desktop を手動で Pause しないでください。このスタックを稼働させ続けるためだけに Resource Saver を無効にする必要はありません。Docker の Resource Saver のドキュメントを参照してください。
Toolkit のサービスは restart: always を使用しています。Ubuntu で実際の設定を確認してください:
always と表示されるはずです。Docker が実行されると、新たに bin/up を実行しなくても、既存のコンテナを再起動できます。手動で停止したコンテナは、起動するかエンジンを再起動するまで停止したままです。always の場合、エンジンを再起動するとコンテナが再び起動することがあります。Docker の再起動ポリシーの動作を参照してください。
AC 電源で長時間使用する場合は、Windows 11 の Settings → System → Power & battery → Screen, sleep & hibernate timeouts(バージョンによっては Power または Screen and sleep)を開きます。電源接続時のスリープのタイムアウトを Never に設定し、自動休止状態が設定されている場合は無効にしてください。ディスプレイはオフになってもかまいません。ノート PC の蓋を閉じたときの動作は別の設定であり、アイドル時のスリープのタイムアウトが Never でも、蓋を閉じるとスリープすることがあります。Windows の電源設定を参照してください。
サイトの使用中に、日常的なクリーンアップとして
wsl --shutdown を実行しないでください。WSL の設定変更でこれが必要な場合は、先にインスタンスを停止し、中断を計画してください。これらの設定により、Windows でインスタンスを継続的に実行できます。ログアウトや無人での再起動後も稼働し続ける必要がある共有サービスには、Linux ガイドをおすすめします。
Docker Desktop の再起動後の復旧を確認する
作業を保存し、実行中のコンパイルが完了するのを待ってから、Docker Desktop のトラブルシューティングメニューで Restart Docker Desktop を選択します。エンジンの起動を待ってから、Ubuntu で次を確認します:bin/stop で意図的にインスタンスを停止した場合は、bin/start を使用してください。Docker は起動しているのにサービスが失敗する場合は、設定を作り直すのではなく、そのログを読んでください。Windows Update、Docker のアップデート、停電によって 24 時間稼働のインストールが中断されることもあります。バックアップを保持し、計画的なメンテナンスの後には復旧を確認してください。
日常的な使用
Windows で Docker Desktop を起動します。Ubuntu を開きます:bin/start は設定の編集を適用しません。config/ を変更した後は bin/up -d を使用してください。WSL ディストリビューションのアップグレード、移動、削除の前には、データとバックアップに従ってください。データベースが書き込んでいる最中に稼働中の MongoDB ファイルをコピーしても、一貫性のあるバックアップにはなりません。
ローカルで使用する場合は 127.0.0.1 のままにしてください。他のコンピューターに提供するには、待ち受けアドレス、サイト URL、Windows のファイアウォールとネットワークの設定、HTTPS を意図的に設定する必要もあります。OVERLEAF_SITE_URL を変更するだけでは、ポートは公開されません。
うまく動作しない場合は、トラブルシューティングを参照してください。
