FRET Development Environment

pull / build the image

podman build -t git.berger.ruhr/alwin/dev-pod .
# or
podman pull git.berger.ruhr/alwin/dev-pod:latest

create the contaienr

Point WORKDIR to whererver your repos are. Point FRETHOME to some other directory, which can cuntions as the home directory inside the container.

podman create --name fretpod -p 2222:22 -v basestore:/nix/store -v $FRETHOME:/root -v $WORKDIR:/root/WORK git.berger.ruhr/alwin/dev-pod:latest

(optinal) auto-start the container

podman generate systemd basepod > ~/.config/systemd/user/basepod.service
systemctl --user daemon-reload
systemctl --user enable --now basepod