diff options
| author | Xiretza | 2020-05-24 14:59:16 +0200 |
|---|---|---|
| committer | Xiretza | 2020-05-24 15:36:47 +0200 |
| commit | 18660f545cf4b9dd39b9e4e87a7b9f12206f4499 (patch) | |
| tree | 74433ccf234542ba25d7980070eec803e104dec0 /gps.desktop | |
| parent | a83c3c78d66f2f95e34aa19ca3626da3976a0b0f (diff) | |
| download | aur-18660f545cf4b9dd39b9e4e87a7b9f12206f4499.tar.gz | |
Update to 2020 release
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; |