.POSIX: all: check: clean: rm -rf public/ dev-check: check public: deploy: scp src/infrastructure/guix/system.scm toph:/etc/guix/ ssh toph reconfigure