diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2023-09-02 22:05:18 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2023-09-03 00:42:50 +0530 |
| commit | c636397e6062b4d9471a4b5f4e9cf7d34a257131 (patch) | |
| tree | 71329d182a7652301e92b19deec3ca40a7ac913f /overlays/wmenu-sinan.nix | |
| parent | 49b8ea0f6813fe197f81a532199b18e0ded424d7 (diff) | |
flake: init
Diffstat (limited to 'overlays/wmenu-sinan.nix')
| -rw-r--r-- | overlays/wmenu-sinan.nix | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/overlays/wmenu-sinan.nix b/overlays/wmenu-sinan.nix deleted file mode 100644 index c525ab9..0000000 --- a/overlays/wmenu-sinan.nix +++ /dev/null @@ -1,10 +0,0 @@ -final: prev: { - wmenu-sinan = prev.wmenu.overrideAttrs (finalAttrs: prevAttrs: - { - pname = prevAttrs.pname + "-sinan"; - postPatch = '' - sed 's/monospace 10/monospace 13/g' -i main.c - ''; - } - ); -} |