diff options
-rw-r--r-- | .SRCINFO | 22 | ||||
-rw-r--r-- | PKGBUILD | 31 | ||||
-rw-r--r-- | gitextensions | 3 | ||||
-rw-r--r-- | gitextensions.desktop | 9 | ||||
-rw-r--r-- | gitextensions.png | bin | 0 -> 1436 bytes |
5 files changed, 65 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..6a799329ef2e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +pkgbase = gitextensions + pkgdesc = Graphical user interface for Git that allows you control Git without using the commandline. + pkgver = 248 + pkgrel = 5 + url = http://code.google.com/p/gitextensions/ + arch = any + license = GPL3 + depends = mono + depends = git + optdepends = meld: compare and merge, + optdepends = kdiff3: compare and merge + source = gitextensions + source = gitextensions.desktop + source = gitextensions.png + source = http://downloads.sourceforge.net/project/gitextensions/Git%20Extensions/Version%202.48.05/GitExtensions-2.48.05-Mono.zip + md5sums = b01b1bf6d75b30f6763daa0498385e99 + md5sums = cd36dafb8e961f67701117f622240e9b + md5sums = bbd6381241e896200c8494981115dff6 + md5sums = 4934111a08b2c482d51c5b6b25d0d227 + +pkgname = gitextensions + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..d1c3be2de259 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: Martin Minka <martin dot minka at gmail dot com> +# Author: Henk Westhuis <henk underscore westhuis at hotmail dot com> +pkgname=gitextensions +pkgver=248 +_pkgver=2.48.05 +pkgrel=5 +pkgdesc="Graphical user interface for Git that allows you control Git without using the commandline." +arch=('any') +url="http://code.google.com/p/gitextensions/" +license=('GPL3') +depends=('mono' 'git') +optdepends=('meld: compare and merge', +'kdiff3: compare and merge' +) +source=('gitextensions' 'gitextensions.desktop' 'gitextensions.png' "http://downloads.sourceforge.net/project/gitextensions/Git%20Extensions/Version%20$_pkgver/GitExtensions-$_pkgver-Mono.zip") +md5sums=('b01b1bf6d75b30f6763daa0498385e99' + 'cd36dafb8e961f67701117f622240e9b' + 'bbd6381241e896200c8494981115dff6' + '4934111a08b2c482d51c5b6b25d0d227') +package() { + install -d $pkgdir/usr/share/GitExtensions/ + cp -r $srcdir/GitExtensions/* $pkgdir/usr/share/GitExtensions/ + +# # fix https://github.com/gitextensions/gitextensions/issues/1960#issuecomment-22488217 +# mkdir $pkgdir/usr/share/GitExtensions/Plugins/broken +# mv $pkgdir/usr/share/GitExtensions/Plugins/BackgroundFetch.dll $pkgdir/usr/share/GitExtensions/Plugins/AutoCompileSubmodules.dll $pkgdir/usr/share/GitExtensions/Plugins/broken/ + + install -D -m755 $srcdir/gitextensions $pkgdir/usr/bin/gitextensions + install -D -m644 $srcdir/gitextensions.png $pkgdir/usr/share/pixmaps/gitextensions.png + install -D -m644 $srcdir/gitextensions.desktop $pkgdir/usr/share/applications/gitextensions.desktop +} diff --git a/gitextensions b/gitextensions new file mode 100644 index 000000000000..c1176ff280e2 --- /dev/null +++ b/gitextensions @@ -0,0 +1,3 @@ +#!/bin/sh +cd /usr/share/GitExtensions +mono GitExtensions.exe diff --git a/gitextensions.desktop b/gitextensions.desktop new file mode 100644 index 000000000000..84a210ecb608 --- /dev/null +++ b/gitextensions.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Name=GitExtensions +Comment=Graphical user interface for Git that allows you control Git without using the commandline. +Exec=gitextensions +Icon=/usr/share/pixmaps/gitextensions.png +StartupNotify=true +Terminal=false +Type=Application +Categories=Development;RevisionControl; diff --git a/gitextensions.png b/gitextensions.png Binary files differnew file mode 100644 index 000000000000..c7acdb93ec81 --- /dev/null +++ b/gitextensions.png |