2017-10-27 21:46:27 +03:00
|
|
|
|
# Tanım: Gedit için eklentiler
|
2017-07-25 23:21:02 +03:00
|
|
|
|
# URL: http://www.gnome.org
|
2018-08-09 12:02:54 +00:00
|
|
|
|
# Paketçi: yasarciv67
|
2017-10-27 21:46:27 +03:00
|
|
|
|
# Gerekler: gedit gsettings-desktop-schemas desktop-file-utils gtk-update-icon-cache
|
2018-08-09 12:02:54 +00:00
|
|
|
|
# Grup: ofis
|
2017-07-25 23:21:02 +03:00
|
|
|
|
|
2017-10-28 15:10:23 +03:00
|
|
|
|
isim=gedit-plugins
|
|
|
|
|
|
surum=3.22.0
|
|
|
|
|
|
devir=1
|
2017-07-25 23:21:02 +03:00
|
|
|
|
|
2017-10-28 15:10:23 +03:00
|
|
|
|
kaynak=(http://ftp.gnome.org/pub/gnome/sources/$isim/${surum%.*}/$isim-$surum.tar.xz)
|
2017-07-25 23:21:02 +03:00
|
|
|
|
|
2017-10-28 00:59:41 +03:00
|
|
|
|
derle() {
|
2017-10-28 15:10:23 +03:00
|
|
|
|
cd $isim-$surum
|
2017-07-25 23:21:02 +03:00
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
|
make
|
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
|
}
|
