2017-10-27 20:46:27 +02:00
|
|
|
|
# Tanım: Gelişmiş GNOME3 seçeneklerini özelleştiren bir araç.
|
2017-07-25 22:21:02 +02:00
|
|
|
|
# URL: https://live.gnome.org/GnomeTweakTool
|
2018-08-13 09:11:09 +02:00
|
|
|
|
# Paketçi: yasarciv67
|
2017-10-27 20:46:27 +02:00
|
|
|
|
# Gerekler: gtk3 gconf python-gobject gsettings-desktop-schemas desktop-file-utils gtk-update-icon-cache
|
2018-08-13 09:11:09 +02:00
|
|
|
|
# Grup: sistem
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
isim=gnome-tweak-tool
|
|
|
|
|
|
surum=3.22.0
|
|
|
|
|
|
devir=1
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
kaynak=(http://ftp.gnome.org/pub/gnome/sources/$isim/${surum%.*}/$isim-$surum.tar.xz)
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
2017-10-27 23:59:41 +02:00
|
|
|
|
derle() {
|
2017-10-28 14:10:23 +02:00
|
|
|
|
cd $isim-$surum
|
2017-07-25 22:21:02 +02:00
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
|
make
|
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
|
}
|
