diff options
author | Mikel Pintado | 2017-07-31 00:45:29 +0200 |
---|---|---|
committer | Mikel Pintado | 2017-07-31 00:45:29 +0200 |
commit | 7dabebf8371c813036bbc2a0529f5572927d3d7e (patch) | |
tree | d4784034b26c1dc764be32a3d3a0ed39b87271a5 | |
parent | d673dbb1fdac0b55c8398b547055448e0634e036 (diff) | |
download | aur-7dabebf8371c813036bbc2a0529f5572927d3d7e.tar.gz |
Fixed error with file conflicts while upgrading.
-rw-r--r-- | github-desktop.install | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/github-desktop.install b/github-desktop.install index f30239bfd019..cab3dd5886ab 100644 --- a/github-desktop.install +++ b/github-desktop.install @@ -1,3 +1,11 @@ +pre_install() { + sudo rm -rf /usr/bin/github-desktop + sudo rm -rf /usr/share/icons/hicolor/*/apps/desktop.png + sudo rm -rf /opt/GithubDesktop + sudo rm -rf /usr/share/doc/desktop + sudo rm -rf /usr/share/applications/desktop.desktop +} + post_install() { sudo echo "LD_PRELOAD=libcurl.so.3 /opt/GithubDesktop/desktop "$@"" > /usr/bin/github-desktop sudo chmod 755 /usr/bin/github-desktop |