blob: 93e1463b7973120a4e761e9173275c98841c1a1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# Description: Outil de modification d'options avancées de GNOME 3.
# URL: https://live.gnome.org/GnomeTweakTool
# Maintainer: NuTyX GNOME team
# Packager: piernov <piernov@piernov.org>
# Depends on: gconf, gsettings-desktop-schemas, pygobject3, gnome-shell
# Run on: gconf,gsettings-desktop-schemas,pygobject3,gnome-shell
name=gnome-tweak-tool
version=3.2.2
release=1
source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.xz)
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
}
|
