milis/talimatname/genel/g/gnome-terminal/talimat

24 lines
630 B
Plaintext
Raw Normal View History

2017-10-27 20:46:27 +02:00
# Tanım: GNOME için terminal emülatörü
2017-07-25 22:21:02 +02:00
# URL: http://www.gnome.org
2018-08-13 09:10:09 +02:00
# Paketçi: yasarciv67
2017-10-27 20:46:27 +02:00
# Gerekler: gsettings-desktop-schemas desktop-file-utils gtk-update-icon-cache dconf gconf gtk2 gnome-doc-utils gsettings-desktop-schemas vte3 nautilus
2018-08-13 09:10:09 +02:00
# Grup: sistem
2017-07-25 22:21:02 +02:00
2017-10-28 14:10:23 +02:00
isim=gnome-terminal
surum=3.22.1
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 \
--disable-static \
--disable-migration \
--disable-search-provider \
--without-pcre2 --with-nautilus-extension
make
make DESTDIR=$PKG install
}