diff options
| author | tv <tv@shackspace.de> | 2015-07-18 10:30:36 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-18 10:30:36 +0200 |
| commit | 766e7d9ed3155d5be247a152a2438d624c3dd078 (patch) | |
| tree | b0d4e7897d4d86e50e316ea06ba2e3f0429a97b4 | |
| parent | 936816be0dc906c19f8634c3875cea2fe86d693f (diff) | |
0 tv nomic host: nomic-local -> nomic.gg23
| -rw-r--r-- | 0make/tv/nomic.makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/0make/tv/nomic.makefile b/0make/tv/nomic.makefile index daf2a2f1f..4ae1ccd10 100644 --- a/0make/tv/nomic.makefile +++ b/0make/tv/nomic.makefile @@ -1,4 +1,4 @@ -deploy_host := root@nomic-local +deploy_host := root@nomic.gg23 nixpkgs_url := https://github.com/NixOS/nixpkgs nixpkgs_rev := 6ad8fab785695d04a6925e8b3464ca7c71a85c3f secrets_dir := /home/tv/secrets/nomic |