プロジェクトをインポートする
公開 GitHub リポジトリや ZIP アーカイブを安全にインポートします。
プロジェクト ページで、公開リポジトリの URL または owner/repo を取り込むには GitHub からインポート を選びます。Overleaf またはその他の ZIP アーカイブを取り込むには Overleaf ZIP をインポート を選びます。
取り込み前に確認する#
CorTeX は取り込まれるファイルと除外されるファイル、パスの競合、合計サイズ、メインと思われる LaTeX 文書を一覧表示します。TeX Live のバージョンを選び、計画を確定してください。確定するまでファイルは 1 つもインポートされません。

制限事項を確認する#
- GitHub インポートは公開リポジトリのみに対応し、GitHub トークンは保存しません。
- シンボリックリンクと安全でないアーカイブパスは除外され、その内容が報告されます。
- 競合する内容やサイズ制限を超える内容は、確認画面で解決する必要があります。
インポート後は、ファイルとフォルダーと LaTeX のメイン文書を確認してください。古いソースをビルドできない場合は、LaTeX コンパイル問題から調べます。