diff options
-rw-r--r-- | .gitignore | 2 | ||||
-rw-r--r-- | Makefile | 13 |
2 files changed, 14 insertions, 1 deletions
@@ -1,2 +1,4 @@ /src/secrets/ /src/infrastructure/keys/SSH/*.stripped +/result +/result-next @@ -2,7 +2,14 @@ -all: +all: result + + +result: ALWAYS + rm -f result-next + guix system -v3 -r result-next build src/infrastructure/guix/system.scm + rm -f result + mv result-next result check: @@ -10,6 +17,7 @@ check: clean: rm -rf \ src/secrets/*.txt src/infrastructure/keys/SSH/*.stripped \ + result result-next \ public: @@ -53,3 +61,6 @@ upload-secrets: $(prod-secrets.txt) $(public-ssh).stripped ## it to rsync.net. upload-keys: cat src/infrastructure/keys/SSH/*.txt | ssh suyin dd of=.ssh/authorized_keys + + +ALWAYS: |