ndwarshuis
/
dotfiles
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ADD crypt dir for work laptop

This commit is contained in:
Nathan Dwarshuis 2024-01-26 10:12:04 -05:00
parent 664dc665ba
commit f6606faf36
1 changed files with 17 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
.files/rofi-dev-configs/work-laptop.dhall
View File

@ -40,19 +40,13 @@ let vcryptTree =
\(v : Text) -> \(v : Text) ->
\(k : Text) -> \(k : Text) ->
{ tcParent = { tcParent =
{ deviceMount = { mpPath = m, mpLabel = l } : C.MountConfig { deviceMount = { mpPath = m, mpLabel = l }
, deviceData = , deviceData =
C.DataConfig.VeracryptConfig C.DataConfig.VeracryptConfig
( { vcVolume = crypt v { vcVolume = v, vcPassword = Some (bwConfig (vcName k)) }
, vcPassword = Some (bwConfig (vcName k))
} }
: C.VeracryptData
)
}
: C.DeviceConfig
, tcChildren = [] : List Text , tcChildren = [] : List Text
} }
: C.TreeConfig
let defaultDevs = let defaultDevs =
[ { tKey = "ssh" [ { tKey = "ssh"
@ -60,7 +54,7 @@ let defaultDevs =
vcryptTree vcryptTree
"${env:HOME as Text}/.ssh" "${env:HOME as Text}/.ssh"
(Some "ssh") (Some "ssh")
"ssh-config" (crypt "ssh-config")
sshKey sshKey
} }
, { tKey = "gnupg" , { tKey = "gnupg"
@ -68,9 +62,17 @@ let defaultDevs =
vcryptTree vcryptTree
"${env:GNUPGHOME as Text}" "${env:GNUPGHOME as Text}"
(None Text) (None Text)
"gpg-config" (crypt "gpg-config")
gpgKey gpgKey
} }
, { tKey = "pii"
, tVal =
vcryptTree
"pii"
(None Text)
"${env:HOME as Text}/Documents/.crypt"
"work vault"
}
] ]
let otherDevs = let otherDevs =