aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/Config.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/Config.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/Config.dhall')
-rw-r--r--dhall/Config.dhall15
1 files changed, 15 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}