diff options
| author | Profpatsch <mail@profpatsch.de> | 2023-04-22T16·37+0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2023-04-22T17·17+0000 |
| commit | 04838db0a816ec917b9f7aed13096c599aeb9845 (patch) | |
| tree | ae1ae11978160408da7e9e86fc7c7555afddba9b /users | |
| parent | 9630949f88ba613ac58104f28c0a1d177aaa2489 (diff) | |
chore(users/Profpatsch/alacritty): inline dhall config r/6102
Change-Id: I1e5e5fcd1e065f42ea2cff555d6fce7d54b5aae8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8498 Autosubmit: Profpatsch <mail@profpatsch.de> Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users')
| -rw-r--r-- | users/Profpatsch/alacritty.dhall | 6 | ||||
| -rw-r--r-- | users/Profpatsch/alacritty.nix | 12 |
2 files changed, 5 insertions, 13 deletions
diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall deleted file mode 100644 index c8a976cccc72..000000000000 --- a/users/Profpatsch/alacritty.dhall +++ /dev/null @@ -1,6 +0,0 @@ -{ alacritty-config = { font.size = 18, scolling.history = 1000000 } - , -- This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen) - alacritty-env - . WINIT_X11_SCALE_FACTOR - = 1 - } diff --git a/users/Profpatsch/alacritty.nix b/users/Profpatsch/alacritty.nix index 17d8d8ddf7bb..917db0541624 100644 --- a/users/Profpatsch/alacritty.nix +++ b/users/Profpatsch/alacritty.nix @@ -4,15 +4,13 @@ let bins = depot.nix.getBins pkgs.alacritty [ "alacritty" ]; config = - depot.users.Profpatsch.importDhall.importDhall { - root = ./.; - files = [ - "alacritty.dhall" - ]; - main = "alacritty.dhall"; - deps = [ ]; + { + alacritty-config = { font.size = 18; scolling.history = 1000000; }; + # This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen) + alacritty-env.WINIT_X11_SCALE_FACTOR = 1; }; + config-file = lib.pipe config.alacritty-config [ (lib.generators.toYAML { }) (pkgs.writeText "alacritty.conf") |