2023-06-22 14:34:05 +02:00
|
|
|
_final: prev:
|
|
|
|
|
let
|
|
|
|
|
inherit (prev) callPackage;
|
|
|
|
|
in
|
|
|
|
|
{
|
|
|
|
|
wpa_supplicant_gui = prev.wpa_supplicant_gui.overrideAttrs
|
|
|
|
|
(old: {
|
|
|
|
|
# better desktop application name. "wpa_gui" kinda sucks
|
|
|
|
|
postInstall = old.postInstall + ''
|
|
|
|
|
|
|
|
|
|
substituteInPlace $out/share/applications/wpa_gui.desktop --replace "Name=wpa_gui" "Name=Manage Wifi"
|
|
|
|
|
'';
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
pcmanfm = prev.pcmanfm.overrideAttrs (_: {
|
|
|
|
|
# remove deskop preferences shortcut
|
|
|
|
|
postInstall = ''
|
|
|
|
|
rm $out/share/applications/pcmanfm-desktop-pref.desktop
|
|
|
|
|
'';
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
wdisplays = prev.wdisplays.overrideAttrs (_: {
|
|
|
|
|
# better desktop application name.
|
|
|
|
|
postInstall = ''
|
|
|
|
|
|
|
|
|
|
substituteInPlace $out/share/applications/network.cycles.wdisplays.desktop --replace "Name=wdisplays" "Name=Manage Displays"
|
|
|
|
|
'';
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
pww = callPackage ../pkgs/pww { };
|
2023-07-20 21:35:12 +02:00
|
|
|
crowdsec-firewall-bouncer = callPackage ../pkgs/crowdsec-firewall-bouncer { };
|
2023-06-22 14:34:05 +02:00
|
|
|
jmri = callPackage ../pkgs/jmri { };
|
|
|
|
|
adguardian-term = callPackage ../pkgs/adguardian-term { };
|
|
|
|
|
}
|
