メインコンテンツへスキップ

管理者と最初のプロジェクトを作成する

Windows のブラウザーで http://localhost:8080/launchpad を開き、最初の管理者アカウントを作成してログインします。その後、Linux ガイドの 6. インストール後のタスクに従ってください。その際、例の URL ではポート 8080 を使用してください。

コンパイルを確認する

ログインページが動作しても、個別のコンパイラーコンテナが WSL のデータディレクトリにアクセスできることの証明にはなりません。空のプロジェクトを作成し、次の main.tex を pdfLaTeX でコンパイルしてください:
PDF プレビューにテキストが表示されるはずです。basic イメージの場合は、必要に応じてプロジェクト設定で TeX Live 2026 Basic を選択してください。 XeLaTeX を選択して、次の内容でテストします:
どちらの例も basic で動作します。中国語のドキュメントの場合は、次の内容を XeLaTeX でテストする前に、full など ctex と必要なフォントを含むイメージを使用してください。basic にはこれらが含まれていません:
サンドボックスが使用されていることを確認するには、コンパイル中に Ubuntu で次を実行します:
フィルターには選択したイメージ名を使用してください。短いコンパイルは docker ps の実行前に終了することがあります。-a を付けると、クリーンアップされるまでは停止したコンテナも表示されます。コンパイラーコンテナは、そのイメージと、Toolkit の WSL データディレクトリからの /compile バインドマウントを使用しているはずです。アプリケーションのログだけでは、PDF の確認の代わりにはなりません。

永続化を確認する

Ubuntu で、Toolkit のディレクトリから次を実行します:
アプリケーションの起動を待ち、Windows からプロジェクトを再度開いて、もう一度コンパイルしてください。アカウント、ソース、プロジェクトファイルが残っているはずです。デフォルトでは、稼働中のデータは Ubuntu 内の ~/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 で次を確認します:
Windows で既存のプロジェクトを開き、もう一度コンパイルします。アカウントとソースが残っていることを確認してください。 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 を変更するだけでは、ポートは公開されません。 うまく動作しない場合は、トラブルシューティングを参照してください。
最終更新日 2026年11月8日