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 =