diff options
| author | tnut <thierryn1 at hispeed dot ch> | 2010-03-28 19:56:49 +0200 |
|---|---|---|
| committer | tnut <thierryn1 at hispeed dot ch> | 2010-03-28 19:56:49 +0200 |
| commit | b2ac28eca25d9adb68c858f4e500b03eabd3d819 (patch) | |
| tree | 83d6cc10abfcbef745019fb0fa4952a76cabf835 /gnome/gedit-plugins | |
| parent | abb7d4f8a450a523278fd5d5f3af71da3327a0ad (diff) | |
| download | nutyx-extra-b2ac28eca25d9adb68c858f4e500b03eabd3d819.tar.gz nutyx-extra-b2ac28eca25d9adb68c858f4e500b03eabd3d819.tar.bz2 nutyx-extra-b2ac28eca25d9adb68c858f4e500b03eabd3d819.tar.xz nutyx-extra-b2ac28eca25d9adb68c858f4e500b03eabd3d819.zip | |
gedit-plugins, ajout du post-install
Diffstat (limited to 'gnome/gedit-plugins')
| -rw-r--r-- | gnome/gedit-plugins/.footprint | 8 | ||||
| -rw-r--r-- | gnome/gedit-plugins/Pkgfile | 11 | ||||
| -rwxr-xr-x | gnome/gedit-plugins/post-install | 21 |
3 files changed, 31 insertions, 9 deletions
diff --git a/gnome/gedit-plugins/.footprint b/gnome/gedit-plugins/.footprint index 726e4220b..e502b018c 100644 --- a/gnome/gedit-plugins/.footprint +++ b/gnome/gedit-plugins/.footprint @@ -1,8 +1,8 @@ +drwxr-xr-x root/root etc/ +drwxr-xr-x root/root etc/gconf/ +drwxr-xr-x root/root etc/gconf/schemas/ +-rw-r--r-- root/root etc/gconf/schemas/gedit-show-tabbar-plugin.schemas drwxr-xr-x root/root usr/ -drwxr-xr-x root/root usr/etc/ -drwxr-xr-x root/root usr/etc/gconf/ -drwxr-xr-x root/root usr/etc/gconf/schemas/ --rw-r--r-- root/root usr/etc/gconf/schemas/gedit-show-tabbar-plugin.schemas drwxr-xr-x root/root usr/lib/ drwxr-xr-x root/root usr/lib/gedit-2/ drwxr-xr-x root/root usr/lib/gedit-2/plugins/ diff --git a/gnome/gedit-plugins/Pkgfile b/gnome/gedit-plugins/Pkgfile index abdb4f45e..058e3307d 100644 --- a/gnome/gedit-plugins/Pkgfile +++ b/gnome/gedit-plugins/Pkgfile @@ -1,12 +1,12 @@ # Description: Jeux de plugins pour gedit -# URL: http://live.gnome.org/GeditPlugins -# Maintainer: NuTyX core team +# URL: http://live.gnome.org/GeditPlugins +# Maintainer: NuTyX core team # Packager: zatmania at gotofreedom dot org -# Depends on: gedit, pygtksourceview, gucharmap, vte +# Depends on: gedit, pygtksourceview, gucharmap, vte name=gedit-plugins version=2.28.0 -release=1 +release=2 source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.bz2) build() { @@ -14,7 +14,8 @@ build() { ./configure \ --prefix=$GNOME_PREFIX \ --with-plugins=all \ - --disable-schemas-install + --disable-schemas-install \ + --sysconfdir=/etc make make DESTDIR=$PKG install } diff --git a/gnome/gedit-plugins/post-install b/gnome/gedit-plugins/post-install new file mode 100755 index 000000000..de4309523 --- /dev/null +++ b/gnome/gedit-plugins/post-install @@ -0,0 +1,21 @@ +#!/bin/sh + +port=gedit-plugins + +# gconf schemas +SCHEMAS="`pkginfo -l $port | grep etc/gconf/schemas/.*\.schemas$`" + +for SCHEMA in $SCHEMAS +do + export GCONF_CONFIG_SOURCE=`$GNOME_PREFIX/bin/gconftool-2 --get-default-source` + $GNOME_PREFIX/bin/gconftool-2 --makefile-install-rule /$SCHEMA > /dev/null +done + +# reload gconf caches +if [ ! -z "`pidof gconfd-2`" ] +then + killall -HUP gconfd-2 > /dev/null +fi + +# End of file + |