Merge pull request #30776 from emanueleperuffo/robo3t-desktop-name

robo3t: change .desktop name
2017-10-28 11:22:19 +00:00
parent 37acc1a5df f402c3aa78
commit 722fdbe080
1 changed files with 1 additions and 1 deletions
--- 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";