ヘルプセンター
LaTeX と Typst のプロジェクトの作成、コンパイル、共同作業のための実用的なガイド。
Git・GitHub・WebDAV との連携
Git でファイルをやり取りしたり、GitHub や外部ストレージと同期します。
適した接続方法を選ぶ
研究チームの運用に合わせて Git、GitHub 同期、WebDAV を選べます。教育プラン、Plus、Pro で利用できます。
手順
- 手元のマシンで普段のコマンドライン作業をしたいなら Git を使います。
- チームがすでにレビューとリリースに使っているリポジトリが正とされるなら GitHub 同期を使います。
- コードホストではなく機関や個人のストレージに置く必要があるなら WebDAV を使います。
- 組み合わせても構いませんが、2 つ目をつなぐ前にどちらを正とするかを決めておきましょう。
- どのプランが基準になるかは機能によって異なります。Git アクセスはあなた自身のプラン、GitHub と WebDAV の同期はプロジェクト所有者のプランに従います。
- すでに別の場所にあるファイルから始めるには、ダッシュボードで「GitHub または WebDAV からインポート」を選びます。リポジトリのブランチや WebDAV フォルダーからプロジェクトが作成され、接続されたままになります。
接続を設定する
接続方法に応じて認証情報を用意し、同期したいプロジェクトで接続を設定します。
手順
- コマンドライン Git：アカウント設定のアクセストークンで Git トークンを作成します。プロジェクトで Git を展開し、リポジトリ URL か clone コマンドをコピーし、トークンを HTTP Basic のパスワードとして使います。閲覧者は clone と pull ができ、所有者と編集者は main へのプッシュもできます。
- プロジェクトより遅れているプッシュは、あなたと共同編集者が別々のファイルを変更していれば自動的にマージされます。同じファイルを双方が変更していた場合、プッシュは拒否され、該当するパスが示されます。git pull を実行して解決し、もう一度プッシュしてください。
- GitHub 同期：アカウント設定の外部接続で GitHub を接続し、選んだリポジトリに JointTex GitHub App をインストールします。次にプロジェクトの外部接続ビューで GitHub を開き、既存のリポジトリとブランチを選び、変更内容のプレビューを確認して手動同期を実行します。
- JointTex はリポジトリのルート全体を同期します。ただし .github/workflows は除きます。サブモジュールを含むリポジトリは同期できません。同期は常に手動です。GitHub 側の変更は、「確認して同期」を選ぶまでプロジェクトに知らされるだけです。
- 新しいリポジトリを使うには、「GitHub でリポジトリを作成」を選び、必要なら GitHub App にそのリポジトリへのアクセスを許可してから、「リポジトリを更新」を選びます。空のリポジトリの場合は、初回同期の際に JointTex がブランチを作成します。
- WebDAV：アカウント設定 › 外部接続で、ルートフォルダー URL・ユーザー名・アプリパスワードを使い再利用できるプロファイルを保存するか、1 つのプロジェクト用に資格情報を入力します。プロジェクトフォルダーを選び、接続をテストし、初回同期の内容を確認してから接続します。
WebDAV を同期した状態に保つ
WebDAV フォルダーには理由があるときにしかアクセスしないため、リモートだけにある変更は次の同期まで取り込まれません。
手順
- リモートにしかない WebDAV の変更を取り込みたいときは「今すぐ同期」を使います。任意の WebDAV 自動同期は JointTex 側が変更されたときにのみ動き、3 回連続で失敗すると手動同期が成功するまで停止します。
- 初回のプレビューに競合が表示された場合、接続してもファイルは変更されません。接続が作成された後で競合を確認してください。
- 1 つのプロジェクト用に入力した資格情報は、「アカウントプロファイルとして保存」で、後からほかのプロジェクトでも使えるように残せます。
競合の解決とアクセス管理
同期で競合が起きたら差分を確認してから残す版を選べます。接続権限はプロジェクトの役割に従います。
手順
- GitHub や WebDAV が競合を報告した場合、その同期ではファイルは一切変更されません。
- 「競合を確認」を開き、両方のバージョンを比べ、どちらを残すか（提示されていれば両方を残すことも）選んで、すべての判断を送信します。書き込み前に JointTex が双方を再確認します。
- 「互換性のある全ファイルに適用」を使うと、多数のファイルに 1 つの選択をまとめて適用できます。テキスト差分として表示できないファイルは、判断する前に両方のバージョンをダウンロードできます。
- GitHub と WebDAV の設定・接続解除は所有者が行い、同期と競合解決は所有者と編集者が、状態の確認は閲覧者も行えます。
- 競合が未解決のまま接続解除しても、両方のバージョンは「最近の競合アーカイブ」から 30 日間ダウンロードできます。ただし、自動で適用することはできなくなります。
- GitHub アカウントや WebDAV プロファイルを削除する前に、使っていないプロジェクトの接続を解除しておきます。