diff options
| author | Mikel Pintado | 2017-07-23 15:48:59 +0200 |
|---|---|---|
| committer | Mikel Pintado | 2017-07-23 15:48:59 +0200 |
| commit | 020289fa2afe70c801fcf2736185b7cdc8a94bba (patch) | |
| tree | 4627c8f5e418ace5f6cd45d1b47a2b711418607d /github-desktop.install | |
| parent | c5db50f9318ba642d0643f3e1752fa95800d3adf (diff) | |
| download | aur-020289fa2afe70c801fcf2736185b7cdc8a94bba.tar.gz | |
Fixed issue while clonning repositories.
Diffstat (limited to 'github-desktop.install')
| -rw-r--r-- | github-desktop.install | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/github-desktop.install b/github-desktop.install index d9c4826199a1..8bdde5275069 100644 --- a/github-desktop.install +++ b/github-desktop.install @@ -1,5 +1,13 @@ post_install() { - ln -s /opt/GitHubDesktop/desktop /usr/bin + echo "LD_PRELOAD=libcurl.so.3 /opt/GithubDesktop/desktop "$@"" > /usr/bin/github-desktop + chmod 755 /usr/bin/github-desktop + echo "[Desktop Entry]" > /usr/share/applications/desktop.desktop + echo "Name=GitHub Desktop" >> /usr/share/applications/desktop.desktop + echo "Comment=Extend your GitHub workflow beyond your browser with GitHub Desktop" >> /usr/share/applications/desktop.desktop + echo "Exec="/usr/bin/github-desktop" %U" >> /usr/share/applications/desktop.desktop + echo "Terminal=false" >> /usr/share/applications/desktop.desktop + echo "Type=Application" >> /usr/share/applications/desktop.desktop + echo "Icon=github" >> /usr/share/applications/desktop.desktop } post_remove() { @@ -9,5 +17,5 @@ post_remove() { rm -rf icons/hicolor/512x512/apps/desktop.png rm -rf icons/hicolor/256x256/apps/desktop.png rm -rf icons/hicolor/1024x1024/apps/desktop.png - rm -rf /usr/bin/desktop + rm -rf /usr/bin/github-desktop } |