From 9c0cfede593d41549095df7252429247abc34bb4 Mon Sep 17 00:00:00 2001 From: Gunnar Beutner Date: Fri, 4 Jun 2021 00:25:14 +0200 Subject: Ports: Embed icon into the Super Mario port --- Ports/Super-Mario/package.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'Ports') diff --git a/Ports/Super-Mario/package.sh b/Ports/Super-Mario/package.sh index b4453d1208..a7b2b899b0 100755 --- a/Ports/Super-Mario/package.sh +++ b/Ports/Super-Mario/package.sh @@ -17,5 +17,11 @@ configure() { install() { run mkdir -p "${SERENITY_INSTALL_ROOT}/opt/Super_Mario" - run cp -r uMario app.ico icon2.ico files "${SERENITY_INSTALL_ROOT}/opt/Super_Mario" + run cp -r uMario files "${SERENITY_INSTALL_ROOT}/opt/Super_Mario" + if command -v convert >/dev/null; then + run convert "app.ico[0]" app-16x16.png + run convert "app.ico[1]" app-32x32.png + run objcopy --add-section serenity_icon_s="app-16x16.png" "${SERENITY_INSTALL_ROOT}/opt/Super_Mario/uMario" + run objcopy --add-section serenity_icon_m="app-32x32.png" "${SERENITY_INSTALL_ROOT}/opt/Super_Mario/uMario" + fi } -- cgit v1.2.3