From 180398cd69e227d6d77387cb1eef72676f6e9ead Mon Sep 17 00:00:00 2001 From: Olivier Benz Date: Tue, 12 Sep 2023 06:52:25 +0200 Subject: [PATCH] Update README.md: Add info about data persistency --- .devcontainer/README.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/.devcontainer/README.md b/.devcontainer/README.md index eb4870b55a5fb..6ec3aa60a23f2 100644 --- a/.devcontainer/README.md +++ b/.devcontainer/README.md @@ -22,6 +22,19 @@ For use with Github Codespaces, please follow the instruction at For local/'remote host' usage with VS Code, please follow the instructions at [Developing inside a Container](https://code.visualstudio.com/docs/devcontainers/containers). +### Persistence + +Data in the following locations is persisted: + +1. The user's home directory (`/home/vscode`)[^1] +2. The Dev Container's workspace (`/workspaces`) + +[^1]: Alternatively for the root user (`/root`). Use with Docker/Podman in +*rootless mode*. + +This is accomplished either via a *volume* or *bind mount* and is +preconfigured. + ## Install pandoc ### Using cabal