aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--dhall/Types.dhall1
-rw-r--r--dhall/package.dhall13
2 files changed, 13 insertions, 1 deletions
diff --git a/dhall/Types.dhall b/dhall/Types.dhall
deleted file mode 100644
index 2a6fa6e..0000000
--- a/dhall/Types.dhall
+++ /dev/null
@@ -1 +0,0 @@
1{ Vault = ./Vault.dhall, Config = ./Config.dhall }
diff --git a/dhall/package.dhall b/dhall/package.dhall
new file mode 100644
index 0000000..ceab8c0
--- /dev/null
+++ b/dhall/package.dhall
@@ -0,0 +1,13 @@
1let Vault = { apiToken : Text }
2
3let Config =
4 { rundeck_jobs_path : Text
5 , rundeck_project : Text
6 , rundeck_api_url : Text
7 , rundeck_api_token : Text
8 , rundeck_api_version : Optional Natural
9 , rundeck_remove_missing : Optional Bool
10 , rundeck_jobs_group : Optional Text
11 }
12
13in { Vault = Vault, Config = Config }