Add openlens

Signed-off-by: Nikolaos Karaolidis <nick@karaolidis.com>
This commit is contained in:
2024-12-19 13:56:06 +00:00
parent a92c8e59df
commit 81dcbec4a8
4 changed files with 66 additions and 1 deletions

View File

@@ -0,0 +1,30 @@
{
user ? throw "user argument is required",
home ? throw "home argument is required",
}:
{ config, pkgs, ... }:
let
hmConfig = config.home-manager.users.${user};
in
{
home-manager.users.${user} = {
home.packages = [ (pkgs.callPackage ./package.nix { }) ];
xdg.configFile."OpenLens/lens-user-store.json".source =
(pkgs.formats.json { }).generate "lens-user-store.json"
{
__internal__ = {
migrations = {
version = "6.5.0";
};
};
preferences = {
colorTheme = "system";
editorConfiguration.fontFamily = builtins.head hmConfig.theme.font.monospace.names;
terminalConfig.fontFamily = builtins.head hmConfig.theme.font.monospace.names;
terminalCopyOnSelect = true;
};
};
};
}