summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormikelpint2017-09-16 15:33:14 +0200
committermikelpint2017-09-16 15:33:14 +0200
commitd3aeafd99d1a6c2ebdaf8345b44b5838ad87890c (patch)
tree0cc84180009f362045c68b0ee804a9b35dcc05fe
parent7dabebf8371c813036bbc2a0529f5572927d3d7e (diff)
downloadaur-d3aeafd99d1a6c2ebdaf8345b44b5838ad87890c.tar.gz
Adds comments for Spanish and Basque languages.
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
-rw-r--r--github-desktop.install6
3 files changed, 7 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 45d928ed31d5..113b79c03ee3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = github-desktop
pkgdesc = GUI for managing Git and GitHub.
pkgver = 0.7.1_beta4
- pkgrel = 2
+ pkgrel = 4
url = https://desktop.github.com
install = github-desktop.install
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index e08fea7c18e8..a67be9769047 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
pkgname=github-desktop
pkgver=0.7.1_beta4
-pkgrel=2
+pkgrel=4
pkgdesc="GUI for managing Git and GitHub."
arch=('x86_64')
url="https://desktop.github.com"
diff --git a/github-desktop.install b/github-desktop.install
index cab3dd5886ab..2a30becbe393 100644
--- a/github-desktop.install
+++ b/github-desktop.install
@@ -12,6 +12,8 @@ post_install() {
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" >> /usr/share/applications/desktop.desktop
+ sudo echo "Comment[es]=Trabaja con GitHub desde tu escritorio." >> /usr/share/applications/desktop.desktop
+ sudo echo "Comment[eu]=GitHub-ekin lan egin zure ordenagailutik." >> /usr/share/applications/desktop.desktop
sudo echo "Exec=/usr/bin/github-desktop %U" >> /usr/share/applications/desktop.desktop
sudo echo "Terminal=false" >> /usr/share/applications/desktop.desktop
sudo echo "Type=Application" >> /usr/share/applications/desktop.desktop
@@ -39,11 +41,13 @@ pre_upgrade() {
sudo rm -rf /usr/bin/github-desktop
}
post_upgrade() {
- sudo echo "LD_PRELOAD=libcurl.so.3 /opt/GithubDesktop/desktop "$@"" > /u
+ sudo echo "LD_PRELOAD=libcurl.so.3 /opt/GithubDesktop/desktop "$@"" > /usr/bin/github-desktop
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 "Comment[es]=Trabaja con GitHub desde tu escritorio." >> /usr/share/applications/desktop.desktop
+ sudo echo "Comment[eu]=GitHub-ekin lan egin zure ordenagailutik." >> /usr/share/applications/desktop.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