2022-01-31 12:02:07 +01:00
|
|
|
self: super: {
|
2022-08-30 10:55:38 +02:00
|
|
|
dmenu = super.dmenu.overrideAttrs(old: {
|
|
|
|
patches = (if old.patches == null then [] else old.patches) ++ [
|
2022-01-31 12:02:07 +01:00
|
|
|
./settings.patch
|
|
|
|
];
|
2022-08-30 10:55:38 +02:00
|
|
|
});
|
2022-01-31 12:02:07 +01:00
|
|
|
}
|