B. 配布する開発環境の構築手順¶
この実習で利用する開発環境 は zip ファイルをダウンロードして展開するだけで使えるように作られています.
このページでは,何らかの理由で動かない場合にトラブルシューティングをしたい,細かい部分のカスタマイズをしたい,想定している OS (Windows 64ビット) 以外の OS 上で似たような環境を構築したいといった場合に備えて,構築手順を紹介します.
B.1. 想定環境¶
- Windows 11 (64 ビット版)
B.2. ダウンロード¶
- WinPython64-3.13.15.0dot.zip: https://github.com/winpython/winpython/releases/
- MinGit-2.55.0.5-64-bit.zip: https://github.com/git-for-windows/git/releases/
- VSCodium-win32-x64-1.126.04524.zip: https://github.com/VSCodium/vscodium/releases
B.3. インストール¶
C:/cs1 を作成 (以下これを ${CS1_DIR} と呼ぶ)
空フォルダ ${CS1_DIR}/home を作成
空フォルダ ${CS1_DIR}/projects を作成
WinPython64-3.13.15.0dot.zip を展開し,内容物を ${CS1_DIR}/WPy64 (= ${WinPy}) に配置
${CS1_DIR}/MinGit (= ${MinGit}) を作成し,MinGit-2.55.0.5-64-bit.zip を展開した内容物を移動
${CS1_DIR}/VSCodium-win32-x64 (= ${VSCodium}) を作成し,VSCodium-win32-x64-1.126.04524.zip を展開した内容物を移動 [1]
空フォルダ ${VSCodium}/data を作成し,VSCodium を portable mode で利用する
以下のファイルを設置
- ${CS1_DIR}/vscode_cs1.bat
- ${CS1_DIR}/command_prompt_cs1.bat
- ${CS1_DIR}/home/.gitconfig
- ${CS1_DIR}/home/.config/git/ignore
- ${WinPy}/settings/winpython.ini
- ${VSCodium}/data/user-data/User/settings.json
${CS1_DIR}/home/.gitconfig では,少なくとも以下を設定しておく
[user] email = anonymous@example.org name = Computer Seminar I [init] defaultBranch = master [core] pager =
Python のパッケージ群をインストールするため,command_prompt_cs1.bat を起動して以下を実行
python -m pip install --upgrade pip python -m pip install pygame pylint ipython pytest pytest-watcher numpy ipykernel
vscode_cs1.bat を起動し,Extensions サイドバーを開いて以下の拡張機能をインストール
- Python (ms-python.python)
- Python Debugger (ms-python.debugpy)
- Pylint (ms-python.pylint)
- BasedPyright (detachhead.basedpyright)
- Jupyter (ms-toolsai.jupyter)
- Git Graph (mhutchie.git-graph) [2]
- Python Indent (kevinrose.vsc-python-indent)
- Highlight (fabiospampinato.vscode-highlight)
${VSCodium}/data/user-data/User/settings.json に配布環境用の設定を保存する.配布環境では Python インタープリタを ${WinPy}/python/python.exe に固定し,VSCodium 本体および拡張機能の自動更新を無効にしておく.
| [1] | VSCodium.exe がセキュリティソフトウェアによって削除される場合がある (McAfee Livesafe で発生事例あり).除外するよう指定しておく. |
| [2] | Git Graph が Extensions の検索結果に表示されない場合は,Git Graph の VSIX ファイルを取得し,Command Palette の Extensions: Install from VSIX... からインストールする. |
B.4. 設定完了後の配布版の作成¶
動作確認後,以下の手順でヒストリ情報や作業用ファイルを削除してから,cs1 フォルダ全体を zip で圧縮する.
${CS1_DIR}/home/.gitconfig に個人情報がないことを確認する.
Python パッケージの一覧を記録する.
python -m pip freeze > C:\cs1\PYTHON_PACKAGES.txtVSCodium の拡張機能一覧を ${CS1_DIR}/VSCODIUM_EXTENSIONS.txt に記録する.
使用した Python,pygame,VSCodium,Git 等のバージョンを ${CS1_DIR}/VERSIONS.txt に記録する.
VSCodium の を実行する.
VSCodium を終了する.
${VSCodium}/data/user-data/User/History があれば削除する.
${VSCodium}/data/user-data/User/workspaceStorage があれば削除する.
${VSCodium}/data/user-data/User/settings.json が残っていることを確認する.
${VSCodium}/data/extensions に必要な拡張機能が残っていることを確認する.
${CS1_DIR}/projects の内容を削除して空にする.
${CS1_DIR} 全体を zip で圧縮する.
作成した zip を一度別環境に展開し,command_prompt_cs1.bat と vscode_cs1.bat から Python,pygame,Git,VSCodium が正常に起動することを最終確認する.