2010-12-15 01:26:29 +01:00
|
|
|
# Template file for 'gparted'
|
|
|
|
pkgname=gparted
|
2012-08-09 13:43:32 +02:00
|
|
|
version=0.13.1
|
2012-07-14 01:17:53 +02:00
|
|
|
revision=1
|
2011-10-24 14:14:47 +02:00
|
|
|
build_style=gnu-configure
|
2012-10-05 18:29:09 +02:00
|
|
|
|
2012-01-26 14:21:58 +01:00
|
|
|
configure_args="--disable-scrollkeeper --enable-libparted-dmraid"
|
2012-05-23 18:26:56 +02:00
|
|
|
depends="hicolor-icon-theme desktop-file-utils polkit"
|
2012-07-14 01:17:53 +02:00
|
|
|
makedepends="pkg-config intltool libuuid-devel libparted-devel
|
|
|
|
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-08-09 13:43:32 +02:00
|
|
|
checksum=67c3830c26bc8ce4386e62a4a8e347c21dbefe3d5362b9b6a320e36df23d5272
|
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
|
|
|
|
}
|