diff options
author | Mikel Pintado | 2017-07-30 14:37:23 +0200 |
---|---|---|
committer | Mikel Pintado | 2017-07-30 14:37:23 +0200 |
commit | f00ca6e1abc4ccb3da2ac4916509d0f8fd178dc9 (patch) | |
tree | 1bac8d91e11df6530fafb445798be384903699bf /github-desktop.install | |
parent | 3eb974ccebde5556e689417b860790a3981715d3 (diff) | |
download | aur-f00ca6e1abc4ccb3da2ac4916509d0f8fd178dc9.tar.gz |
Fixed problems with the .desktop file
Diffstat (limited to 'github-desktop.install')
-rw-r--r-- | github-desktop.install | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/github-desktop.install b/github-desktop.install index b636d79eb3be..21114ddbfb06 100644 --- a/github-desktop.install +++ b/github-desktop.install @@ -19,3 +19,8 @@ post_remove() { sudo rm -rf icons/hicolor/1024x1024/apps/desktop.png sudo rm -rf /usr/bin/github-desktop } + +pre_install() { + sudo -v + sudo pacman -Rns github-desktop +} |