summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMikel Pintado2017-07-30 15:30:39 +0200
committerMikel Pintado2017-07-30 15:30:39 +0200
commitf515e46024b74df5e78a1c1aa55c4230b730ec7b (patch)
tree25850122ccb099e46d2dfa52761cc94340ee1ffc
parentf00ca6e1abc4ccb3da2ac4916509d0f8fd178dc9 (diff)
downloadaur-f515e46024b74df5e78a1c1aa55c4230b730ec7b.tar.gz
Added post_upgrade feature
-rw-r--r--github-desktop.install13
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
}