diff options
| author | sinanmohd <sinan@firemail.cc> | 2023-07-18 21:55:03 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@firemail.cc> | 2023-07-19 20:49:15 +0530 |
| commit | d37713ec74f6aa059fdb5f6791f4090d2fcc6f7a (patch) | |
| tree | a6807108329c1e0f857e83aa74f97174c9272430 | |
| parent | 6bf688b321f214633270f7832abfd78e5c03180d (diff) | |
overlays: wmenu initial commit
| -rw-r--r-- | features/wayland.nix | 2 | ||||
| -rw-r--r-- | overlays/wmenu-sinan.nix | 12 |
2 files changed, 13 insertions, 1 deletions
diff --git a/features/wayland.nix b/features/wayland.nix index dd068e7..53ff77f 100644 --- a/features/wayland.nix +++ b/features/wayland.nix @@ -51,7 +51,7 @@ in grim slurp wl-clipboard - wmenu + wmenu-sinan mako wayland xdg-utils diff --git a/overlays/wmenu-sinan.nix b/overlays/wmenu-sinan.nix new file mode 100644 index 0000000..c304efb --- /dev/null +++ b/overlays/wmenu-sinan.nix @@ -0,0 +1,12 @@ +final: prev: + +{ + wmenu-sinan = prev.wmenu.overrideAttrs (finalAttrs: prevAttrs: + { + pname = prevAttrs.pname + "-sinan"; + postPatch = '' + sed 's/monospace 10/monospace 13/g' -i main.c + ''; + } + ); +} |