1 #Contributor: Artiom MOLCHANOV <ar.molchanov@gmail.com>
3 pkgname=gnome-shell-extension-icon-manager-git
9 url="https://github.com/MrTheodor/gnome-shell-ext-icon-manager"
12 makedepends=('intltool' 'gnome-doc-utils' 'git' 'gnome-common')
14 _gitroot="git://github.com/MrTheodor/gnome-shell-ext-icon-manager.git"
15 _gitname="gnome-shell-ext-icon-manager"
17 install=shell-extension-icon-manager-git.install
18 options=(!libtool !emptydirs)
20 #PKGBUILD specific functions
22 _enabled_extensions="Icon Manager"
28 msg "Connecting to the GIT server..."
29 if [[ -d ${srcdir}/${_gitname} ]] ; then
32 msg "The local files are updated..."
34 git clone ${_gitroot} ${_gitname}
37 msg "GIT checkout done."
41 pkgdesc="Add/remove icons from top bar panel by simple editing dconf settings"
42 cd ${srcdir}/${_gitname}
43 mkdir -p ${pkgdir}/usr/share/glib-2.0/schemas/
44 mkdir -p ${pkgdir}/usr/share/gnome-shell/extensions/
45 cp org.gnome.shell.extensions.icon-manager.gschema.xml ${pkgdir}/usr/share/glib-2.0/schemas/
46 cp -r icon-manager@krajniak.info ${pkgdir}/usr/share/gnome-shell/extensions/