diff options
author | Mikel Pintado | 2017-07-31 00:18:17 +0200 |
---|---|---|
committer | Mikel Pintado | 2017-07-31 00:18:17 +0200 |
commit | 4956e0164bd1f5f05f3d820bde654d96d70e4bc4 (patch) | |
tree | 15321014cbab4018059bd6cab761ce7cab0934b7 | |
parent | 4b42a2db0317770ac1ab175fc3ded163c8e44625 (diff) | |
download | aur-4956e0164bd1f5f05f3d820bde654d96d70e4bc4.tar.gz |
Fixed error with file conflicts while upgrading.
-rw-r--r-- | github-desktop.install | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/github-desktop.install b/github-desktop.install index 3b990835e8a9..e5a427ce6be0 100644 --- a/github-desktop.install +++ b/github-desktop.install @@ -21,6 +21,15 @@ post_remove() { sudo rm -rf /usr/bin/github-desktop } +pre_upgrade() { + sudo rm -rf /opt/GithubDesktop + sudo rm -rf /usr/share/applications/desktop.desktop + sudo rm -rf /usr/share/doc/desktop + sudo rm -rf icons/hicolor/512x512/apps/desktop.png + sudo rm -rf icons/hicolor/256x256/apps/desktop.png + sudo rm -rf icons/hicolor/1024x1024/apps/desktop.png + sudo rm -rf /usr/bin/github-desktop +} post_upgrade() { sudo echo "LD_PRELOAD=libcurl.so.3 /opt/GithubDesktop/desktop "$@"" > /u sudo chmod 755 /usr/bin/github-desktop |