B. 配布する開発環境の構築手順

この実習で利用する開発環境 は zip ファイルをダウンロードして展開するだけで使えるように作られています．

このページでは，何らかの理由で動かない場合にトラブルシューティングをしたい，細かい部分のカスタマイズをしたい，想定している OS (Windows 64ビット) 以外の OS 上で似たような環境を構築したいといった場合に備えて，構築手順を紹介します．

B.1. 想定環境

  • Windows 10 以降 (64 ビット版)

B.2. ダウンロード

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 だけ再作成する．