git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[RFC/PATCH] git-gui: add a .desktop file

From
Jonathan Nieder <jrnieder@gmail.com>
Date
May 12, 2011, 10:02 UTC
Message-ID
<20110512100202.GF28872@elie>
In-Reply-To
<alpine.DEB.2.02.1105112205450.14343@dr-wily.mit.edu>
From: Todd Zullinger <tmz@pobox.com>

Most X desktops use files following the Desktop Entry Specification for menu entries. Provide a .desktop file for users and distros to install in the system menu to make git gui easier to find.

Caveats: this patch does not include Makefile rules to actually
install the .desktop file; they can come later.  Such Makefile rules
would need to change the Icon= line to avoid hardcoding a /usr
prefix.
[jn: removed GenericName and added RevisionControl category]
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
---
Anders Kaseorg wrote[1]:
Show 6 quoted lines
> From https://bugs.launchpad.net/ubuntu/+source/git/+bug/781454 (under, you 
> know, some interpretation):
>
> git-gui could install a /usr/share/applications/git-gui.desktop, like this 
> one: 
> http://pkgs.fedoraproject.org/gitweb/?p=git.git;a=blob;f=git-gui.desktop;hb=HEAD
That's a good idea.  How about something like this, to start?

Installing to /usr/local/share/applications or /usr/share/applications is not right for a program that is being installed for an individual user. I suppose $HOME/.local/share is a good default in that case. Is a makefile supposed to check ifeq ($(prefix), $(HOME)) to take care of that?

xdg-utils includes an xdg-desktop-menu helper which supports a --user / --system option that will presumably install to the right place, and it is even nice enough to run update-desktop-database when done. Unfortunately, it lacks DESTDIR support, so I don't think we can use it.

The xdg-desktop-menu documentation suggests installing icons in some centralized place with xdg-icon-resource. The supported icon formats are xpm and png.

So this is rough, but I still think including it would be an improvement in the current state. Thoughts? Bugs? Improvements?

Thanks to Todd for writing the desktop file in the first place. I hope I haven't broken it too much.

[1] http://bugs.debian.org/626442
 git-gui.desktop |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
 create mode 100644 git-gui.desktop
diff --git a/git-gui.desktop b/git-gui.desktop
new file mode 100644
index 0000000..019ee8f
--- /dev/null
+++ b/git-gui.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=Git GUI
+Comment=A graphical interface to Git
+Exec=git gui
+Icon=/usr/share/git-gui/lib/git-gui.ico
+Terminal=false
+Type=Application
+Categories=Development;RevisionControl;
-- 
1.7.5.1
Message 1 of 1 in “git-gui: add a .desktop file”
  1. git-gui: add a .desktop fileJonathan Nieder, May 12, 2011

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.