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 serve as the home directory inside the container. Make sure to initialize an ssh config under $FRETHOME

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

start and enter the container

# start
podman start fretpod
# enter using ssh
ssh -p 2222 root@127.0.0.1
# or enter directly using podman
podman exec -it fretpod zsh

(optinal) auto-start the container

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