diff options
author | tv <tv@shackspace.de> | 2015-07-11 19:44:49 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-07-11 19:44:49 +0200 |
commit | bd65d2be622369d4f4b55a1d5e64aedf58506189 (patch) | |
tree | 22ddca93839a9cb9efb03fcc807dc12b1b9ea8a8 /0make | |
parent | 2bc5c58d85990e483af8fde57ed5f2442351b69c (diff) | |
parent | d213df5c00d3073d2f3bc09471fce466153df881 (diff) |
Merge branch 'next'
Diffstat (limited to '0make')
-rw-r--r-- | 0make/tv/cd.makefile | 4 | ||||
-rw-r--r-- | 0make/tv/mkdir.makefile | 4 | ||||
-rw-r--r-- | 0make/tv/nomic.makefile | 4 | ||||
-rw-r--r-- | 0make/tv/rmdir.makefile | 4 | ||||
-rw-r--r-- | 0make/tv/wu.makefile | 4 |
5 files changed, 20 insertions, 0 deletions
diff --git a/0make/tv/cd.makefile b/0make/tv/cd.makefile new file mode 100644 index 00000000..e021423f --- /dev/null +++ b/0make/tv/cd.makefile @@ -0,0 +1,4 @@ +deploy_host := root@cd-global +nixpkgs_url := https://github.com/NixOS/nixpkgs +nixpkgs_rev := 4c01e6d91993b6de128795f4fbdd25f6227fb870 +secrets_dir := /home/tv/secrets/cd diff --git a/0make/tv/mkdir.makefile b/0make/tv/mkdir.makefile new file mode 100644 index 00000000..b10398a0 --- /dev/null +++ b/0make/tv/mkdir.makefile @@ -0,0 +1,4 @@ +deploy_host := root@mkdir +nixpkgs_url := https://github.com/NixOS/nixpkgs +nixpkgs_rev := 4c01e6d91993b6de128795f4fbdd25f6227fb870 +secrets_dir := /home/tv/secrets/mkdir diff --git a/0make/tv/nomic.makefile b/0make/tv/nomic.makefile new file mode 100644 index 00000000..c11f4115 --- /dev/null +++ b/0make/tv/nomic.makefile @@ -0,0 +1,4 @@ +deploy_host := root@nomic-local +nixpkgs_url := https://github.com/NixOS/nixpkgs +nixpkgs_rev := 4e5e44140bfc27211dffbb3cd727842ab02eb9d6 +secrets_dir := /home/tv/secrets/nomic diff --git a/0make/tv/rmdir.makefile b/0make/tv/rmdir.makefile new file mode 100644 index 00000000..6075bd3d --- /dev/null +++ b/0make/tv/rmdir.makefile @@ -0,0 +1,4 @@ +deploy_host := root@rmdir +nixpkgs_url := https://github.com/NixOS/nixpkgs +nixpkgs_rev := 4c01e6d91993b6de128795f4fbdd25f6227fb870 +secrets_dir := /home/tv/secrets/rmdir diff --git a/0make/tv/wu.makefile b/0make/tv/wu.makefile new file mode 100644 index 00000000..81f561ce --- /dev/null +++ b/0make/tv/wu.makefile @@ -0,0 +1,4 @@ +deploy_host := root@wu +nixpkgs_url := https://github.com/NixOS/nixpkgs +nixpkgs_rev := e1af50c4c4c0332136283e9231f0a32ac11f2b90 +secrets_dir := /home/tv/secrets/wu |