void-packages/srcpkgs/gparted/template

36 lines
1.3 KiB
Plaintext
Raw Normal View History

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
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
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
}