diff options
author | sinanmohd <sinan@sinanmohd.com> | 2023-07-18 21:55:03 +0530 |
---|---|---|
committer | sinanmohd <sinan@sinanmohd.com> | 2023-07-19 20:49:15 +0530 |
commit | 85f3fd572641993892b60930a3e97efabf2d9c2f (patch) | |
tree | a6807108329c1e0f857e83aa74f97174c9272430 /overlays | |
parent | 880dedacfbf091a47395cad38d84c5a583a76d14 (diff) |
overlays: wmenu initial commit
Diffstat (limited to 'overlays')
-rw-r--r-- | overlays/wmenu-sinan.nix | 12 |
1 files changed, 12 insertions, 0 deletions
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 + ''; + } + ); +} |