diff options
| author | quentin@aristote.fr <quentin@aristote.fr> | 2023-09-17 18:40:48 +0200 |
|---|---|---|
| committer | quentin@aristote.fr <quentin@aristote.fr> | 2023-09-17 18:40:48 +0200 |
| commit | eebffc190776afdb92ef959270c4863bf21a3cf8 (patch) | |
| tree | 68c7bd8fa25b9044213b67c34adba822445c65f2 /basics | |
| parent | 7f5f01ef3d3eb56a24db31b7ddf85fc4ce3b37fc (diff) | |
reformat code
Diffstat (limited to 'basics')
| -rw-r--r-- | basics/default.nix | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/basics/default.nix b/basics/default.nix index 8769314..03058cf 100644 --- a/basics/default.nix +++ b/basics/default.nix @@ -1,6 +1,8 @@ -{ href, file, ... }: - -let +{ + href, + file, + ... +}: let institution = { position = "PhD student in Theoretical Computer Science"; name = "IRIF"; @@ -47,12 +49,14 @@ in { }; keys = let getKeyFiles = type: keys: { - "${type}" = builtins.foldl' - (tmp: name: tmp // { "${name}" = file "keys/${type}/${name}.pub"; }) { } + "${type}" = + builtins.foldl' + (tmp: name: tmp // {"${name}" = file "keys/${type}/${name}.pub";}) {} keys; }; - in getKeyFiles "pgp" [ "DFC1660846EEA97C059F18534EF515441E635D36" ] - // getKeyFiles "ssh" [ "qaristote@latitude-7490" ]; + in + getKeyFiles "pgp" ["DFC1660846EEA97C059F18534EF515441E635D36"] + // getKeyFiles "ssh" ["qaristote@latitude-7490"]; name = { first = "Quentin"; last = "Aristote"; |
