From 10b88c0d51ec73ea7abf50be915d1578db8e7d8d Mon Sep 17 00:00:00 2001 From: piernov Date: Sun, 24 Jul 2011 18:07:37 +0200 Subject: gnome-tweak-tool 3.0.5-1 ajout port --- gnome-tweak-tool/Pkgfile | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 gnome-tweak-tool/Pkgfile (limited to 'gnome-tweak-tool/Pkgfile') diff --git a/gnome-tweak-tool/Pkgfile b/gnome-tweak-tool/Pkgfile new file mode 100644 index 0000000..89b1827 --- /dev/null +++ b/gnome-tweak-tool/Pkgfile @@ -0,0 +1,19 @@ +# Description: Outil de modification d'options avancées de GNOME 3. +# URL: https://live.gnome.org/GnomeTweakTool +# Maintainer: NuTyX GNOME team +# Packager: piernov +# Depends on: gconf, gsettings-desktop-schemas, pygobject, gnome-shell +# Run on: gconf,gsettings-desktop-schemas,pygobject,gnome-shell + +name=gnome-tweak-tool +version=3.0.5 +release=1 +source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.bz2) + +build() { + cd $name-$version + PYTHON=python2 ./configure --prefix=/usr + make + make DESTDIR=$PKG install + sed -i "s|#!/usr/bin/env python|#!/usr/bin/env python2|" $PKG/usr/bin/gnome-tweak-tool +} -- cgit v1.2.3-54-g00ecf