development image

This Docker image contains tools for development.

It starts a ssh deamon for the user user.

Installation

1. Pull from Docker Hub, download the package from Releases or build using builder/build.sh

Usage

This Container image extends the builder image.

Environment variables

• AI_API_KEY
  • Key to use for authorization to the AI API server used by codex.
• AI_API_URL
  • Url of the AI API server used by codex.
• AUTHORIZED_PUBLIC_KEYS
  • Public keys with access to the ssh server. For example ssh-rsa AAAAB3Nz... user@example.madebytimo.de.
• HOST_KEY
  • Host key to use for the ssh server.
• USER_GROUPS
  • Comma seperated list of groups the user will be member of. The user will be removed from groups not listed. Defaults to docker,sudo.

Volumes

• /media/user
  • The home directory of the development user.

Development

To run for development execute:

docker compose --file docker-compose-dev.yaml up --build