From f6606faf3690d99e48bb05714780210aaa67315e Mon Sep 17 00:00:00 2001 From: ndwarshuis Date: Fri, 26 Jan 2024 10:12:04 -0500 Subject: [PATCH] ADD crypt dir for work laptop --- .files/rofi-dev-configs/work-laptop.dhall | 32 ++++++++++++----------- 1 file changed, 17 insertions(+), 15 deletions(-) diff --git a/.files/rofi-dev-configs/work-laptop.dhall b/.files/rofi-dev-configs/work-laptop.dhall index 09a71db..b05e040 100644 --- a/.files/rofi-dev-configs/work-laptop.dhall +++ b/.files/rofi-dev-configs/work-laptop.dhall @@ -39,20 +39,14 @@ let vcryptTree = \(l : Optional Text) -> \(v : Text) -> \(k : Text) -> - { tcParent = - { deviceMount = { mpPath = m, mpLabel = l } : C.MountConfig - , deviceData = - C.DataConfig.VeracryptConfig - ( { vcVolume = crypt v - , vcPassword = Some (bwConfig (vcName k)) - } - : C.VeracryptData - ) - } - : C.DeviceConfig - , tcChildren = [] : List Text + { tcParent = + { deviceMount = { mpPath = m, mpLabel = l } + , deviceData = + C.DataConfig.VeracryptConfig + { vcVolume = v, vcPassword = Some (bwConfig (vcName k)) } } - : C.TreeConfig + , tcChildren = [] : List Text + } let defaultDevs = [ { tKey = "ssh" @@ -60,7 +54,7 @@ let defaultDevs = vcryptTree "${env:HOME as Text}/.ssh" (Some "ssh") - "ssh-config" + (crypt "ssh-config") sshKey } , { tKey = "gnupg" @@ -68,9 +62,17 @@ let defaultDevs = vcryptTree "${env:GNUPGHOME as Text}" (None Text) - "gpg-config" + (crypt "gpg-config") gpgKey } + , { tKey = "pii" + , tVal = + vcryptTree + "pii" + (None Text) + "${env:HOME as Text}/Documents/.crypt" + "work vault" + } ] let otherDevs =