milis/talimatname/genel/g/gedit-plugins/talimat

19 lines
397 B
Plaintext
Raw Normal View History

2017-10-27 20:46:27 +02:00
# Tanım: Gedit için eklentiler
2017-07-25 22:21:02 +02:00
# URL: http://www.gnome.org
2018-08-09 14:02:54 +02:00
# Paketçi: yasarciv67
2017-10-27 20:46:27 +02:00
# Gerekler: gedit gsettings-desktop-schemas desktop-file-utils gtk-update-icon-cache
2018-08-09 14:02:54 +02:00
# Grup: ofis
2017-07-25 22:21:02 +02:00
2017-10-28 14:10:23 +02:00
isim=gedit-plugins
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
}