aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
authorpaulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com>2019-09-27 18:17:21 +0200
committerGitHub <noreply@github.com>2019-09-27 18:17:21 +0200
commita7dd06f0cc90aaa8c81f5243e74e83f22c3119f4 (patch)
tree3fe48c47e7a942bd4c86152ad50ce5693b5e056a /dhall
parentccb3f886e72c9b315e064678387f0cbd59920c1e (diff)
parent592f1948b452394fec3d7c6e776d760ba16b231b (diff)
downloadansible-rundeck-jobs-a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4.tar.gz
ansible-rundeck-jobs-a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4.tar.zst
ansible-rundeck-jobs-a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4.zip
Merge pull request #6 from paulrbr-fl/add-dhall-configv0.5
dhall: Add a basic dhall type to be able to configure the role
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Config.dhall15
-rw-r--r--dhall/Types.dhall1
-rw-r--r--dhall/Vault.dhall1
3 files changed, 17 insertions, 0 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
new file mode 100644
index 0000000..1c6202c
--- /dev/null
+++ b/dhall/Config.dhall
@@ -0,0 +1,15 @@
1{ rundeck_jobs_path :
2 Text
3, rundeck_project :
4 Text
5, rundeck_api_url :
6 Text
7, rundeck_api_token :
8 Text
9, rundeck_api_version :
10 Optional Natural
11, rundeck_remove_missing :
12 Optional Bool
13, rundeck_jobs_group :
14 Optional Text
15}
diff --git a/dhall/Types.dhall b/dhall/Types.dhall
new file mode 100644
index 0000000..2a6fa6e
--- /dev/null
+++ b/dhall/Types.dhall
@@ -0,0 +1 @@
{ Vault = ./Vault.dhall, Config = ./Config.dhall }
diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall
new file mode 100644
index 0000000..089da4e
--- /dev/null
+++ b/dhall/Vault.dhall
@@ -0,0 +1 @@
{ apiToken : Text }