前回はGithub CodespacesでNode-REDから、Ollamaを経由してLLMにアクセスし、テキスト生成をするといった内容を書きました。

この講義を行った際に、学生からも作業中にサーバがタイムアウトがされてしまい、作業が中断してしまうという相談を度々受けました🙇🙇🙇特にワークショップやハンズオンセッションでは、この予期せぬ切断が学習の妨げになることも考えるとちょっと見逃せない問題です。

先の記事を書くにあたって参考にさせていただいた、IBM Championの知り合いから「Codespacesの接続時間は伸ばせますよ」という話を聞いて調べてみると、実は、GitHub Codespaces のタイムアウト時間は最大240分まで延長可能とわかりました。本記事では、Node-REDに限らずGitHub Codespacesでの開発作業を快適に進めるために、タイムアウト設定のカスタマイズ方法について書いてみます。

方法としては、リポジトリ内の設定ファイルとして記述する方法と個人設定で行う方法は2つありますが、後者のGitHub個人設定を変更する方法だけ行えば大丈夫です。急いでいる方向けのリンク

方法 - リポジトリ内の設定ファイルで記載する方法 - GitHubの個人設定を変更する方法

リポジトリ内の設定ファイルで記載する方法
GitHubの個人設定を変更する方法
おわりに

リポジトリ内の設定ファイルで記載する方法

GitHub Codespacesのタイムアウト時間を延長する1つ目の方法は、リポジトリ内にある.devcontainer/devcontainer.jsonを編集する方法です。現在のリポジトリにある.devcontainer/devcontainer.jsonをVisual Studio Codeで開いて編集します。

【編集後のファイル】.devcontainer/devcontainer.json

// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/universal
{
    "name": "Default Linux Universal",
    // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
    "image": "mcr.microsoft.com/devcontainers/universal:2-linux",

    // Features to add to the dev container. More info: https://containers.dev/features.
    // "features": {},

    // Use 'forwardPorts' to make a list of ports inside the container available locally.
    // "forwardPorts": [],

    // Use 'postCreateCommand' to run commands after the container is created.
    "postCreateCommand": "sudo bash ./install.sh",

    // 編集部分
    // Configure tool-specific properties.
    "customizations": {
        "codespaces": {
            "idle_timeout": "30m"
        }
    }

    // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
    // "remoteUser": "root"