diff options
Diffstat (limited to 'gps.desktop')
-rw-r--r-- | gps.desktop | 26 |
1 files changed, 3 insertions, 23 deletions
diff --git a/gps.desktop b/gps.desktop index 543e1357ad62..e57bac492fbe 100644 --- a/gps.desktop +++ b/gps.desktop @@ -1,28 +1,8 @@ [Desktop Entry] - -# The type as listed above Type=Application - -# The version of the desktop entry specification to which this file complies Version=1.0 - -# The name of the application -Name=GPS - -# A comment which can/will be used as a tooltip -Comment=Gnat Programming Studio - -# The path to the folder in which the executable is run -Path=~ - -# The executable of the application, possibly with arguments. -Exec=gps - -# The name of the icon that will be used to display this entry -Icon=/usr/share/gps/gps-splash.png - -# Describes whether this application needs to be run in a terminal or not +Name=GNAT Studio (GPS) +Exec=gnatstudio +Icon=/usr/share/gnatstudio/icons/hicolor/32x32/apps/gnatstudio_logo.png Terminal=false - -# Describes the categories in which this entry should be shown Categories=Development;Languages;Ada; |