Miscellaneous

Welcome Message

When opening a shell into a code machine, the user is greeted with the following message:

❄️ Welcome to your code machine! ❄️ To get started with Codchi, read the docs at <https://codchi.dev/>. If you encounter problems please open an issue at <https://github.com/aformatik/codchi/issues>.

To customize this, for example to give the user instructions on how to procceed further, there is codchi.welcome.text and codchi.welcome.extraText.

Docker

Docker works normally in Codchi, but the user codchi has to be added to the corresponding group in order to not require sudo. Codchi provides the convenience option codchi.docker.enable for this.

{ pkgs, ... }: { codchi.docker.enable = true; }