1 pkgname="gedit-encoding-plugin"
4 pkgdesc="Reopen file with different encoding"
5 url="https://bugzilla.gnome.org/show_bug.cgi?id=342918"
8 depends=('gedit>=3' 'pygtk')
9 source=("encodingpy.py"
14 install -d $pkgdir/usr/lib/gedit/plugins
15 install -m644 encoding.plugin encodingpy.py $pkgdir/usr/lib/gedit/plugins
18 md5sums=('7e75a1a143925ca90eaeeaea10b0e5ec'
19 '3edf4b5ff6ad4c83873c2e6d54be885a')