diff options
author | Florian Klink <flokli@flokli.de> | 2018-03-23 22:17:32 +0100 |
---|---|---|
committer | Florian Klink <flokli@flokli.de> | 2018-03-23 22:24:50 +0100 |
commit | 6ac74d60ad5c8f535ab535a13d8c365dddc6c401 (patch) | |
tree | e81b7777293cd472a1a81831a9507ac12fd336b8 /pkgs/desktops/gnome-3/default.nix | |
parent | f0e597252660e9550606be319b14a21ac64fa930 (diff) | |
download | nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.tar nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.tar.gz nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.tar.bz2 nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.tar.lz nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.tar.xz nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.tar.zst nixlib-6ac74d60ad5c8f535ab535a13d8c365dddc6c401.zip |
networkmanager-pptp: remove package
Currently broken on NixOS due to hardcoded modprobe binary path (see bug #30756 from Oct 2017), no activity on a proposed fix for months. As the protocol is terribly broken anyways, let's better remove it completely, and not talk about anymore ;-) Closes #30756.
Diffstat (limited to 'pkgs/desktops/gnome-3/default.nix')
-rw-r--r-- | pkgs/desktops/gnome-3/default.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pkgs/desktops/gnome-3/default.nix b/pkgs/desktops/gnome-3/default.nix index c28695ed8e25..f35688888997 100644 --- a/pkgs/desktops/gnome-3/default.nix +++ b/pkgs/desktops/gnome-3/default.nix @@ -206,10 +206,6 @@ let inherit gnome3; }; - networkmanager-pptp = pkgs.networkmanager-pptp.override { - inherit gnome3; - }; - networkmanager-vpnc = pkgs.networkmanager-vpnc.override { inherit gnome3; }; @@ -436,7 +432,6 @@ let networkmanager_l2tp = networkmanager-l2tp; # added 2018-02-25 networkmanager_openconnect = networkmanager-openconnect; # added 2018-02-25 networkmanager_openvpn = networkmanager-openvpn; # added 2018-02-25 - networkmanager_pptp = networkmanager-pptp; # added 2018-02-25 networkmanager_vpnc = networkmanager-vpnc; # added 2018-02-25 yelp_xsl = yelp-xsl; # added 2018-02-25 yelp_tools = yelp-tools; # added 2018-02-25 |