commit: 73e7c34f32850b62dbbe7c437d9ddb082f62ce84
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Nov 20 14:51:29 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Nov 20 19:17:26 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73e7c34f
media-gfx/pinta: fix pinta launcher script
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
media-gfx/pinta/{pinta-2.1.1.ebuild => pinta-2.1.1-r1.ebuild} | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/media-gfx/pinta/pinta-2.1.1.ebuild
b/media-gfx/pinta/pinta-2.1.1-r1.ebuild
similarity index 90%
rename from media-gfx/pinta/pinta-2.1.1.ebuild
rename to media-gfx/pinta/pinta-2.1.1-r1.ebuild
index 0c8314e184e8..d3493a121fb7 100644
--- a/media-gfx/pinta/pinta-2.1.1.ebuild
+++ b/media-gfx/pinta/pinta-2.1.1-r1.ebuild
@@ -123,6 +123,13 @@ src_compile() {
src_install() {
emake DESTDIR="${ED}" install
+ local pinta_home="/usr/$(get_libdir)/${PN}"
+
+ mv "${ED}/usr/bin/pinta" "${ED}/${pinta_home}" || die
+ sed -e 's|dotnet|${DOTNET_ROOT}/dotnet|g' -i
"${ED}/${pinta_home}/pinta" \
+ || die # No
interpolation!
+ dotnet-pkg-base_dolauncher "${pinta_home}/${PN}" "${PN}"
+
rm "${ED}/usr/share/man/man1/${PN}.1.gz" || die
doman xdg/${PN}.1
}