PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

# Maintainer: Albert Vendrell <alvenca at gmail dot com>
# Contributor: Martin Minka <martin dot minka at gmail dot com>
# Contributor: Henk Westhuis <henk underscore westhuis at hotmail dot com>
pkgname=gitextensions
epoch=1
pkgver=2.50.02
pkgrel=1
pkgdesc="Graphical user interface for Git that allows you control Git without using the commandline."
arch=('any')
url="http://gitextensions.github.io/"
license=('GPL3')
depends=('mono' 'git')
optdepends=('meld: compare and merge',
'kdiff3: compare and merge'
)
source=('gitextensions'
        'gitextensions.desktop'
        'gitextensions.png'
        "https://github.com/gitextensions/gitextensions/releases/download/v"$pkgver"/GitExtensions-"$pkgver"-Mono.zip"
       )
md5sums=('b01b1bf6d75b30f6763daa0498385e99'
         'cd36dafb8e961f67701117f622240e9b'
         'bbd6381241e896200c8494981115dff6'
         'c519774b49eac1df4f732510f9c2a4a8')

package() {
  install -d "$pkgdir"/usr/share/GitExtensions/
  cp -r "$srcdir"/GitExtensions/* "$pkgdir"/usr/share/GitExtensions/

  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
}