diff options
-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 } |