Repository files navigation

Alice :Adventures for Learning and Inspiring Coding Excellence

Each branch of this repository contains a component used during the build stageof the Alice docker image:

• main branch contains theDockerfile

• html branch contains few web pages to be installed in the docker

Build your own image with the command

docker build --tag alice-adventures:0.1.1 https://raw.githubusercontent.com/alice-adventures/docker/main/Dockerfile

You can pass several arguments to the docker builder to customize yourinstallation. All these variables can be assigned a value with

docker build --build-arg VARIABLE=VALUE --build-arg FOO=BAR  ...

• If you plan to share docker volumes with your host, these variables willhelp you with the integration

  variable	default value / notes
  user_name	guest
  group_name	${user_name} / also member of groupsudo
  uid	1000
  gid	1000
  timezone	UTC / e.g.CET,UTC+2,GMT-5

• This docker installs by default a copy ofcode-server, atailored version ofvscode to enableremote development. These variables will hel you with the installation:

  variable	default value / notes
  code_server	true /false skips installation
  code_server_auth	none / can be set topassword
  code_server_password	1234 / only numbers, letters, and '_'

  Notes:

  • Please read thesenotesabout its usage and license.

  • If you do not install code-server, you will still be able to access allAlice docker content by other means, such as sharing a docker volumewith your host, using vscode in your host and connecting to a remotedocker, or even entering the Alice docker container and installing Emacsor vi.

  • Additional parameters passed when code-server is started:

    • --disable-telemetry
    • --bind-addr <DOCKER_IP_ADDR>:$CODE_SERVER_PORT
    • --ignore-last-opened
    • --welcome-text ... only visible with password

Run an instance of your docker image with

docker run --detach --tty --name alice --hostname wland -p 47800:47800 alice-adventures:0.1.1

Open your preferred browser in your host and connect tohttp://IP_addressof the container, for example:http://172.17.0.1 (do not usehttps). Ifunsure, inspect the IP address the alice container:

docker inspect --format {{.NetworkSettings.IPAddress}} alice

Some reminders:

• Stop / restart Alice docker:

  docker stop alicedocker restart alice

• Enter Wonderland to see what's inside:

  dockerexec -it alice bash

Current Alice docker version is0.1.1.

• Optionally include GNAT Studio community release

• Optionally skip automatic setup of Alire and Alice and explain step by stepall required work once the docker starts.

• Better support for exploring problem sources and provided solutions.

MIT (c) 2023 Francesc Rocher