robo3t: change .desktop name

Gnome does not permit to add the application to favorites if the .desktop name is different than the binary name.
See https://unix.stackexchange.com/questions/58824/how-do-i-add-eclipse-to-my-gnome-shell-favorites.
This commit is contained in:
Emanuele Peruffo 2017-10-24 21:12:01 +02:00
parent f4801e59f2
commit f402c3aa78

View file

@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
};
desktopItem = makeDesktopItem {
name = "Robo3T";
name = "robo3t";
exec = "robo3t";
icon = icon;
comment = "Query GUI for mongodb";