diff options
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 |