B. 配布する開発環境の構築手順¶
この実習で利用する開発環境 は zip ファイルをダウンロードして展開するだけで使えるように作られています.
このページでは,何らかの理由で動かない場合にトラブルシューティングをしたい,細かい部分のカスタマイズをしたい,想定している OS (Windows 64ビット) 以外の OS 上で似たような環境を構築したいといった場合に備えて,構築手順を紹介します.
B.1. 想定環境¶
- Windows 10 以降 (64 ビット版)
B.2. ダウンロード¶
- Winpython64-3.10.5.0dot.exe: https://github.com/winpython/winpython/releases/
- MinGit-2.37.3-64-bit.zip: https://github.com/git-for-windows/git/releases/
- VSCodium-win32-x64-1.71.1.22256.zip: https://github.com/VSCodium/vscodium/releases
B.3. インストール¶
- C:/cs1 を作成 (以下これを ${CS1_DIR} と呼ぶ)
- 空フォルダ ${CS1_DIR}/home を作成
- 空フォルダ ${CS1_DIR}/projects を作成
- Winpython64-3.10.5.0dot.exe を実行して作られるフォルダ WPy64-31050 を ${CS1_DIR}/WPy64 (= ${WinPy}) にリネーム
- ${CS1_DIR}/MinGit (= ${MinGit}) を作成し, MinGit-2.37.3-64-bit.zip を展開した内容物を移動
- ${CS1_DIR}/VSCodium-win32-x64 (= ${VSCodium}) を作成し, VSCodium-win32-x64-1.71.1.22256.zip を展開した内容物を移動 [1]
- 以下のファイルを設置
- ${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
- Python のパッケージ群をインストールするため,command_prompt_cs1.bat を起動して以下を実行
- pip install pygame
- pip install pylint
- pip install flake8
- pip install ipython
- pip install pytest
- pip install pytest-watch
- pip install rope
- pip install ipykernel
- vscode_cs1.bat を起動.Extensions サイドバーを開き [2],以下の拡張機能をインストール
- Python (ms-python.python)
- Git Graph (mhutchie.git-graph)
- Python Indent (kevinrose.vsc-python-indent)
- Highlight (fabiospampinato.vscode-highlight)
- Japanese Language Pack (ms-ceintl.vscode-language-pack-ja)
- Japanese Language Pack のインストール後,再起動するとメニュー等が日本語になる.このテキストでは英語表示を前提として説明するため, Command Palette - Configure Display Language で en を選んでおく.
- VSCode で適当な Python ファイルを開く
- (拡張機能 Jupyter, Pylance が自動でインストールされる)
[1] | VSCodium.exe がセキュリティソフトウェアによって削除される場合がある (McAfee Livesafe で発生事例あり).除外するよう指定しておく |
[2] | マーケットプレイスに接続できない場合, ${VSCodium}/data/argv.json を開き,設定 "enable-browser-code-loading": false を追加して VSCodium を再起動する |
B.4. 設定完了後の配布版の作成¶
動作確認後,以下の手順でヒストリ情報やキャッシュ等を削除してから, cs1 フォルダ全体を zip で圧縮する.
- ${CS1_DIR}/home/.gitconfig に個人情報がないことを確認する.
- ${VSCodium}/data/user-data/User/settings.json を退避しておく.
- VSCode を終了して,${VSCodium}/data/user-data/ を削除してから ${VSCodium}/data/user-data/User/settings.json だけ再作成する.