diff options
author | Mikel Pintado | 2017-07-30 15:30:39 +0200 |
---|---|---|
committer | Mikel Pintado | 2017-07-30 15:30:39 +0200 |
commit | f515e46024b74df5e78a1c1aa55c4230b730ec7b (patch) | |
tree | 25850122ccb099e46d2dfa52761cc94340ee1ffc | |
parent | f00ca6e1abc4ccb3da2ac4916509d0f8fd178dc9 (diff) | |
download | aur-f515e46024b74df5e78a1c1aa55c4230b730ec7b.tar.gz |
Added post_upgrade feature
-rw-r--r-- | github-desktop.install | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/github-desktop.install b/github-desktop.install index 21114ddbfb06..a193d6b0a862 100644 --- a/github-desktop.install +++ b/github-desktop.install @@ -20,7 +20,14 @@ post_remove() { sudo rm -rf /usr/bin/github-desktop } -pre_install() { - sudo -v - sudo pacman -Rns github-desktop +post_upgrade() { + sudo echo "LD_PRELOAD=libcurl.so.3 /opt/GithubDesktop/desktop "$@"" > /u + sudo chmod 755 /usr/bin/github-desktop + sudo echo "[Desktop Entry]" > /usr/share/applications/desktop.desktop + sudo echo "Name=GitHub Desktop" >> /usr/share/applications/desktop.desktop + sudo echo "Comment=Extend your GitHub workflow beyond your browser with GitHub Desktop" + sudo echo "Exec="/usr/bin/github-desktop" %U" >> /usr/share/applications + sudo echo "Terminal=false" >> /usr/share/applications/desktop.desktop + sudo echo "Type=Application" >> /usr/share/applications/desktop.desktop + sudo echo "Icon=github" >> /usr/share/applications/desktop.desktop } |