Development environment for Isard
In order to use isard-dev you'll need to have docker installed and the isard-vdi/isard and isard-vdi/isard-dev directories forked. Then you need to run:
git clone https://github.com/isard-vdi/isard-dev
cd isard-dev
cp env.example .envNow you have to modify the .env file to match your GitHub user and settings. Afterwards, you only need to run
./dev.shIsard Dev is a Guix system. The system definition is at isard.scm. If you want to modify / improve the development environment, you need to make the changes and run guix system docker-image isard.scm afterwards. This will generate a docker image. You need to docker load < /path/to/image.tar.gz, which will create a image with the name of guix:latest.
You can also run guix system vm-image isard.scm to generate a QEMU-KVM compatible qcow2 disk