diff options
author | Mikel Pintado | 2017-07-30 15:36:34 +0200 |
---|---|---|
committer | Mikel Pintado | 2017-07-30 15:36:34 +0200 |
commit | a6abc5362036bd116465fb5bfd56d914cca66680 (patch) | |
tree | 13b7eb96bea5c5beb0347c2356ee50012814dacf | |
parent | f515e46024b74df5e78a1c1aa55c4230b730ec7b (diff) | |
download | aur-a6abc5362036bd116465fb5bfd56d914cca66680.tar.gz |
Modifies the .desktop file
-rw-r--r-- | github-desktop.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/github-desktop.install b/github-desktop.install index a193d6b0a862..acd2002a9871 100644 --- a/github-desktop.install +++ b/github-desktop.install @@ -7,6 +7,7 @@ post_install() { sudo echo "Exec="/usr/bin/github-desktop" %U" >> /usr/share/applications/desktop.desktop sudo echo "Terminal=false" >> /usr/share/applications/desktop.desktop sudo echo "Type=Application" >> /usr/share/applications/desktop.desktop + sudo echo "Categories=Development;" >> /usr/share/applications/desktop.desktop sudo echo "Icon=github" >> /usr/share/applications/desktop.desktop } |