forked from mirrors/nixpkgs
treewide: include missing package names in deprecation/removal messages
Most deprecation/removal messages already do this, but these were missing. Now the user does not have to `--enable-trace` and parse the quite long trace just to find the package name.
This commit is contained in:
parent
c86b0320f9
commit
41832d9100
|
@ -18809,7 +18809,7 @@ in
|
|||
wireshark-qt = wireshark;
|
||||
|
||||
# The GTK UI is deprecated by upstream. You probably want the QT version.
|
||||
wireshark-gtk = throw "Not supported anymore. Use wireshark-qt or wireshark-cli instead.";
|
||||
wireshark-gtk = throw "wireshark-gtk is not supported anymore. Use wireshark-qt or wireshark-cli instead.";
|
||||
wireshark-cli = wireshark.override { withQt = false; };
|
||||
|
||||
sngrep = callPackage ../applications/networking/sniffers/sngrep {};
|
||||
|
@ -23338,8 +23338,8 @@ in
|
|||
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
|
||||
window-corner-preview = callPackage ../desktops/gnome-3/extensions/window-corner-preview { };
|
||||
|
||||
nohotcorner = throw "removed 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";
|
||||
mediaplayer = throw "deprecated 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
|
||||
nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";
|
||||
mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
|
||||
};
|
||||
|
||||
hsetroot = callPackage ../tools/X11/hsetroot { };
|
||||
|
|
Loading…
Reference in a new issue