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
 }

Reply via email to