diff options
| author | tv <tv@krebsco.de> | 2015-07-11 19:44:49 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-07-11 19:44:49 +0200 |
| commit | 6f9301194a1ddb8beda2aa11b8330a347dfb42cd (patch) | |
| tree | 22ddca93839a9cb9efb03fcc807dc12b1b9ea8a8 /0make | |
| parent | 153422f74b1ed5cae37c9424514a9e9d1f79acb4 (diff) | |
| parent | 9de9a311a39c563dfb965abeb372cfa00fff7855 (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 0000000..e021423 --- /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 0000000..b10398a --- /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 0000000..c11f411 --- /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 0000000..6075bd3 --- /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 0000000..81f561c --- /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 |