Doker Desktop +　GHCR 　＋　GitHub

つまり、Docker Desktop の GUI + GHCR + GitHub 課題管理 だけで十分という結論です。

? 修正版の講習環境構成

  1. Docker Desktop（GUI）

    • 講習者がコンテナを簡単に起動・停止・削除可能

    • 余計なツールを増やさず、操作が直感的

  2. GHCR（Dockerイメージ配布）

    • Ubuntuベース + Yosys など必要ツールを含む

    • Docker Desktop から docker pull で取得するだけ

    • Docker Hub を使う必要なし

  3. GitHub（課題管理）

    • 課題ファイルをリポジトリで管理

    • 提出は Pull Request

    • GitHub Actions で自動チェックも可能

? 講習者フロー（Portainerなし）

  1. Docker Desktop をインストール

  2. GHCR にログイン

docker login ghcr.io

  1. Docker イメージを pull

docker pull ghcr.io/<org_or_user>/yosys-ubuntu:latest

  1. 課題リポジトリを clone

git clone https://github.com/<org_or_user>/yosys-course.git
cd yosys-course

  1. コンテナ起動して課題作業

docker run -it -v $(pwd):/workspace ghcr.io/<org_or_user>/yosys-ubuntu:latest

  1. 完了後、GitHub PR で提出

✅ ポイント

  • GUIは Docker Desktop で十分

  • Portainer を追加すると 操作が二重になり複雑化するだけ

  • GHCR + GitHub でイメージ配布・課題配布・提出管理を統一

  • 講習者は 1つのGUI + CLIの組み合わせ で全て完結