void-packages/srcpkgs/gparted/template

35 lines
1.3 KiB
Plaintext
Raw Normal View History

2010-12-15 01:26:29 +01:00
# Template file for 'gparted'
pkgname=gparted
2012-10-12 10:04:36 +02:00
version=0.14.0
2012-07-14 01:17:53 +02:00
revision=1
build_style=gnu-configure
2012-01-26 14:21:58 +01:00
configure_args="--disable-scrollkeeper --enable-libparted-dmraid"
depends="hicolor-icon-theme desktop-file-utils polkit"
2012-07-14 01:17:53 +02:00
makedepends="pkg-config intltool libuuid-devel libparted-devel
2012-10-12 10:04:36 +02:00
gnome-doc-utils gtkmm2-devel"
2010-12-15 01:26:29 +01:00
short_desc="Gnome Partition Editor"
maintainer="Juan RP <xtraeme@gmail.com>"
2011-07-04 05:55:09 +02:00
homepage="http://gparted.sourceforge.net"
license="GPL-2"
2012-07-14 01:17:53 +02:00
distfiles="${SOURCEFORGE_SITE}/$pkgname/$pkgname-$version.tar.bz2"
2012-10-12 10:04:36 +02:00
checksum=ab82da741ed8af3fca16dd0928da26c92e2665fa02709631634a04b017b60b1b
2010-12-15 01:26:29 +01:00
long_desc="
GParted is a free partition editor for graphically managing your disk
partitions.
GParted is useful for tasks such as: creating space for new operating
systems, restructuring disk space to separate user and operating system
data, and copying partitions to enable upgrading to a larger hard disk drive.
Your hard disk drive or USB flash drive can be subdivided into one or more
partitions. GParted enables you to reorganize your disk partitions while
preserving the contents of these partitions."
2012-01-26 14:21:58 +01:00
post_install() {
vinstall ${FILESDIR}/org.void.pkexec.gparted.policy \
644 /usr/share/polkit-1/actions
vinstall ${FILESDIR}/gparted-pkexec 755 usr/bin
sed -i -e "s/Exec=.*/Exec=gparted-pkexec/" \
${DESTDIR}/usr/share/applications/gparted.desktop
}