diff options
| author | Emanuele Peruffo <info@emanueleperuffo.com> | 2017-10-24 21:12:01 +0200 |
|---|---|---|
| committer | Emanuele Peruffo <info@emanueleperuffo.com> | 2017-10-24 21:12:01 +0200 |
| commit | f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e (patch) | |
| tree | 741a3e0a772f7904c1927f234a137aec98f9b26b /pkgs/applications/misc/robo3t | |
| parent | f4801e59f2b3428a424d2c64e5311438c3b3fd54 (diff) | |
| download | nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.tar nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.tar.gz nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.tar.bz2 nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.tar.lz nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.tar.xz nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.tar.zst nixlib-f402c3aa78f0d6ad21fac8ef9dea288dcccabc3e.zip | |
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.
Diffstat (limited to 'pkgs/applications/misc/robo3t')
| -rw-r--r-- | pkgs/applications/misc/robo3t/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/misc/robo3t/default.nix b/pkgs/applications/misc/robo3t/default.nix index 5ebb2b1189a3..fc7ff4842394 100644 --- a/pkgs/applications/misc/robo3t/default.nix +++ b/pkgs/applications/misc/robo3t/default.nix @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { }; desktopItem = makeDesktopItem { - name = "Robo3T"; + name = "robo3t"; exec = "robo3t"; icon = icon; comment = "Query GUI for mongodb"; |