Support Dev Containers add GitHub Codespaces.

Co-authored-by: Rodolphe Lepigre <lepigre@mpi-sws.org>

Author: er2

.devcontainer/devcontainer.json

@@ -0,0 +1,11 @@
+// Support for the Visual Studio Code Dev Containers extension.
+// For format details, see https://aka.ms/devcontainer.json.
+{
+	"name": "GameShell Dev Container",
+	"build": {
+		// Sets the run context to be the repository root.
+		"context": "..",
+		// Sets the filename for the "Dockerfile".
+		"dockerfile": "../Dockerfile"
+	}
+}

Dockerfile

@@ -20,6 +20,7 @@ RUN rm -rf /var/lib/apt/lists/*
 # install locales and set default
 RUN sed -i 's/^# *\(en_US.UTF-8\)/\1/' /etc/locale.gen
 RUN sed -i 's/^# *\(fr_FR.UTF-8\)/\1/' /etc/locale.gen
+RUN sed -i 's/^# *\(it_IT.UTF-8\)/\1/' /etc/locale.gen
 RUN locale-gen
 RUN update-locale LANG=en_US.UTF-8
 ENV LANG en_US.UTF-8

README-fr.md

@@ -72,6 +72,30 @@ programmes X depuis GameShell. Référez vous à [cette
 section](./doc/deps.md#running-GameShell-from-a-docker-container) du manuel
 d'utilisateur.
 
+Github Codespaces (ou VSCode)
+-----------------------------
+
+[![Ouvrir dans un Codespace](https://github.com/codespaces/badge.svg)](https://codespaces.new/phyver/GameShell)
+
+Ce dépôt est configuré pour fonctionner avec l'extension
+[Dev Container](https://containers.dev/) de Visual Studio Code, ce qui permet
+d'utiliser GameShell depuis un
+[Codespace Github](https://github.com/features/codespaces).
+
+Dés que le Codespace est lancé (en cliquant sur le badge ci-dessus), utilisez
+la commande suivante dans le terminal pour démarrer le jeu.
+```sh
+bash start.sh -L fr
+```
+Une langue alternative peut être sélectionnée avec l'option `-L`. Par exemple,
+la command suivante lance le jeu en italien.
+```sh
+bash start.sh -L it
+```
+
+Pour une expérience similaire sur votre machine, sans les limitations / coûts
+d'un Codespace, voire la [doc de l'extension Dev Container](https://containers.dev/supporting#tools).
+
 
 Documentation
 -------------

README.md

@@ -72,6 +72,28 @@ you want to run X programs from inside GameShell. Refer to [this
 section](./doc/deps.md#running-GameShell-from-a-docker-container) of the user
 manual.
 
+Github Codespaces (or VSCode)
+-----------------------------
+
+[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/phyver/GameShell)
+
+This repository is configured to work with the Visual Studio Code
+[Dev Container](https://containers.dev/) extension, which enables GameShell to
+be run from a [Github Codespace](https://github.com/features/codespaces).
+
+Once the Codespace is launched (via the above badge), you can run GameShell in
+the terminal with the following command.
+```sh
+bash start.sh
+```
+An alternative language can be selected using the `-L` option. For example,
+the following command will start the game in Italian.
+```sh
+bash start.sh -L it
+```
+
+To get the same experience on your local machine without the limitations/cost
+of Codespaces see the [Dev Container docs](https://containers.dev/supporting#tools).
 
 Documentation
 -------------