1 # Contributor: Evangelos Foutras <evangelos@foutrelis.com>
3 pkgname=gedit-quickhighlightmode-git
6 pkgdesc="Provides a faster and easier way to select the current document highlighting mode"
8 url="http://github.com/nagaozen/gedit-plugin-quickhighlightmode/"
15 _gitroot="git://github.com/nagaozen/gedit-plugin-quickhighlightmode.git"
16 _gitname="gedit-quickhighlightmode"
24 msg "Connecting to GIT server...."
26 if [ -d $_gitname ] ; then
27 cd $_gitname && git pull origin
28 msg "The local files are updated."
30 git clone $_gitroot $_gitname
33 msg "GIT checkout done or server timeout"
34 msg "Starting make..."
36 rm -rf "$srcdir/$_gitname-build"
37 git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
38 cd "$srcdir/$_gitname-build"
40 install -d "$pkgdir/usr/lib/gedit-2/plugins/quickhighlightmode"
41 install -m644 -t "$pkgdir/usr/lib/gedit-2/plugins/quickhighlightmode/" \
43 install -m644 quickhighlightmode.gedit-plugin \
44 "$pkgdir/usr/lib/gedit-2/plugins/"