678 B
678 B
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:fret
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:fret
(optinal) auto-start the container
podman generate systemd basepod > ~/.config/systemd/user/basepod.service
systemctl --user daemon-reload
systemctl --user enable --now basepod