# Maintainer: SharkEzz # Contributor: Albert Vendrell # Contributor: Martin Minka # Contributor: Henk Westhuis pkgname=gitextensions epoch=1 pkgver=2.51 pkgrel=1 pkgdesc="Graphical user interface for Git that allows you control Git without using the command line." 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' '195dc3c569ffc10628dac213dffc8be5') 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 }