mirror of
https://github.com/pentoo/pentoo-overlay
synced 2025-12-15 21:02:30 +01:00
37 lines
852 B
Bash
37 lines
852 B
Bash
# Copyright 1999-2015 Gentoo Foundation
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
# $Header: $
|
|
|
|
EAPI=5
|
|
|
|
inherit git-r3
|
|
|
|
DESCRIPTION="a tool for generating freedesktop-compliant menus"
|
|
HOMEPAGE="https://github.com/pentoo/genmenu"
|
|
EGIT_REPO_URI="https://github.com/pentoo/genmenu.git"
|
|
|
|
LICENSE="GPL-2"
|
|
SLOT="0"
|
|
KEYWORDS=""
|
|
|
|
DEPEND=">=dev-python/lxml-1.3.6
|
|
gnome-base/gnome-menus"
|
|
RDEPEND="${DEPEND}"
|
|
|
|
src_install() {
|
|
insinto /usr/share/
|
|
doins -r "${S}"/src/share
|
|
chown -R root:root "${ED}"
|
|
dobin src/bin/genmenu.py src/bin/launch
|
|
}
|
|
|
|
pkg_postinst() {
|
|
einfo
|
|
einfo "The genmenu has been updated."
|
|
einfo "You should run the following command to regenerate the main Pentoo menu for a local user:"
|
|
einfo "E17: genmenu.py -e"
|
|
einfo "Xfce: genmenu.py -x"
|
|
einfo "KDE: genmenu.py -k"
|
|
einfo
|
|
einfo "See -h for more options"
|
|
}
|