diff options
| author |   Marty E. Plummer <hanetzer@startmail.com> | 2018-06-01 12:24:05 -0500 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2018-06-04 12:06:07 +0200 |
| commit | 7af14c74619ce6c31448a41c5f568e153198b572 (patch) | |
| tree | 551ca4692d27593c3f0139fcb6e482d765a47a8a | |
| parent | dev-ruby/marcel: add missing dependency on mimemagic (diff) | |
| download | gentoo-7af14c74619ce6c31448a41c5f568e153198b572.tar.gz gentoo-7af14c74619ce6c31448a41c5f568e153198b572.tar.bz2 gentoo-7af14c74619ce6c31448a41c5f568e153198b572.zip | |
app-editors/jedit: fdo-mime->xdt-utils migration.
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Closes: https://github.com/gentoo/gentoo/pull/8683
| -rw-r--r-- | app-editors/jedit/jedit-5.2.0-r1.ebuild | 8 | ||||
| -rw-r--r-- | app-editors/jedit/jedit-5.4.0.ebuild | 6 |
2 files changed, 7 insertions, 7 deletions
diff --git a/app-editors/jedit/jedit-5.2.0-r1.ebuild b/app-editors/jedit/jedit-5.2.0-r1.ebuild index 945eb8180648..956701724a06 100644 --- a/app-editors/jedit/jedit-5.2.0-r1.ebuild +++ b/app-editors/jedit/jedit-5.2.0-r1.ebuild @@ -1,11 +1,11 @@ -# Copyright 1999-2016 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=5 JAVA_PKG_IUSE="doc test" -inherit java-pkg-2 java-ant-2 eutils fdo-mime +inherit eutils java-pkg-2 java-ant-2 xdg-utils DESCRIPTION="Programmer's editor written in Java" HOMEPAGE="http://www.jedit.org" @@ -83,7 +83,7 @@ src_install () { } pkg_postinst() { - fdo-mime_desktop_database_update + xdg_desktop_database_update elog "The system directory for jEdit plugins is" elog "${JEDIT_HOME}/jars" elog "If you get plugin related errors on startup, first try updating them." @@ -91,7 +91,7 @@ pkg_postinst() { pkg_postrm() { if [[ -z ${REPLACED_BY_VERSION} ]]; then - fdo-mime_desktop_database_update + xdg_desktop_database_update elog "jEdit plugins installed into /usr/share/jedit/jars" elog "(after installation of jEdit itself) haven't been" elog "removed. To get rid of jEdit completely, you may" diff --git a/app-editors/jedit/jedit-5.4.0.ebuild b/app-editors/jedit/jedit-5.4.0.ebuild index b91e0863229f..e38548dd3afe 100644 --- a/app-editors/jedit/jedit-5.4.0.ebuild +++ b/app-editors/jedit/jedit-5.4.0.ebuild @@ -5,7 +5,7 @@ EAPI=6 JAVA_PKG_IUSE="doc test" -inherit java-pkg-2 java-ant-2 eutils fdo-mime +inherit eutils java-pkg-2 java-ant-2 xdg-utils DESCRIPTION="Programmer's editor written in Java" HOMEPAGE="http://www.jedit.org" @@ -87,7 +87,7 @@ src_install () { } pkg_postinst() { - fdo-mime_desktop_database_update + xdg_desktop_database_update elog "The system directory for jEdit plugins is" elog "${JEDIT_HOME}/jars" elog "If you get plugin related errors on startup, first try updating them." @@ -95,7 +95,7 @@ pkg_postinst() { pkg_postrm() { if [[ -z ${REPLACED_BY_VERSION} ]]; then - fdo-mime_desktop_database_update + xdg_desktop_database_update elog "jEdit plugins installed into /usr/share/jedit/jars" elog "(after installation of jEdit itself) haven't been" elog "removed. To get rid of jEdit completely, you may" |