2010-12-15 00:26:29 +00:00
|
|
|
# Template file for 'gparted'
|
|
|
|
pkgname=gparted
|
2012-12-13 08:18:15 +00:00
|
|
|
version=0.14.1
|
2012-07-13 23:17:53 +00:00
|
|
|
revision=1
|
2011-10-24 12:14:47 +00:00
|
|
|
build_style=gnu-configure
|
2012-01-26 13:21:58 +00:00
|
|
|
configure_args="--disable-scrollkeeper --enable-libparted-dmraid"
|
2010-12-15 00:26:29 +00:00
|
|
|
short_desc="Gnome Partition Editor"
|
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2011-07-04 03:55:09 +00:00
|
|
|
homepage="http://gparted.sourceforge.net"
|
|
|
|
license="GPL-2"
|
2012-07-13 23:17:53 +00:00
|
|
|
distfiles="${SOURCEFORGE_SITE}/$pkgname/$pkgname-$version.tar.bz2"
|
2012-12-13 08:18:15 +00:00
|
|
|
checksum=b1b53c5acb37ff908434cff174dd42600e79937ec8cc9590b12ce9d504d62719
|
2010-12-15 00:26:29 +00: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-12-13 08:18:15 +00:00
|
|
|
depends="hicolor-icon-theme desktop-file-utils polkit"
|
2012-12-13 08:20:09 +00:00
|
|
|
makedepends="pkg-config which intltool libuuid-devel libparted-devel
|
2012-12-13 08:18:15 +00:00
|
|
|
gnome-doc-utils gtkmm2-devel"
|
|
|
|
|
2012-01-26 13:21:58 +00: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
|
|
|
|
}
|