From 4d19211ce62a7405e4992e54f83851d32f742837 Mon Sep 17 00:00:00 2001 From: Clement Delafargue Date: Mon, 1 Jul 2019 14:55:17 +0200 Subject: remove org_id from vault type, add sshKey in vault --- dhall/Vault.dhall | 2 +- dhall/mkConfig.dhall | 13 +++++++------ 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall index ba1a309..b2a45cc 100644 --- a/dhall/Vault.dhall +++ b/dhall/Vault.dhall @@ -1 +1 @@ -{ organization : Text, secret : Text, token : Text } +{ token : Text, secret : Text, sshKey : Text } diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall index cf64bef..bd382de 100644 --- a/dhall/mkConfig.dhall +++ b/dhall/mkConfig.dhall @@ -1,17 +1,18 @@ let Config = ./Config.dhall in let Vault = ./Vault.dhall - + in let Addon = ./addon/Addon.dhall - + in let Environment = ./environment/Environment.dhall - + in let nonifyEmpty = λ(opt : Optional Text) → Optional/fold Text opt Text (λ(x : Text) → x) "None" - + in λ(vault : Vault) → λ(app : Text) + → λ(organization : Text) → λ(entryPoint : Optional Text) → λ(metrics : Bool) → λ(syslogServer : Optional Text) @@ -21,7 +22,7 @@ in let Vault = ./Vault.dhall → { clever_app = app , clever_orga = - vault.organization + organization , clever_secret = vault.secret , clever_token = @@ -41,4 +42,4 @@ in let Vault = ./Vault.dhall , clever_env = { FORCE_HTTPS = True } } - : Config Environment \ No newline at end of file + : Config Environment -- cgit v1.2.3