diff options
| author | djwisdom <djwisdom@gmail.com> | 2023-05-19 03:39:09 +0800 |
|---|---|---|
| committer | Jelle Raaijmakers <jelle@gmta.nl> | 2023-05-18 22:47:29 +0200 |
| commit | 1b9c31da12d3fd485cade510811668226804a55e (patch) | |
| tree | d58f0fd1768ff2b5b3ebd8bbce445aad3e899097 /Ports/serenity-theming | |
| parent | 3b8ccd123bdd70fcc7757fd7945f39861e34739c (diff) | |
| download | serenity-1b9c31da12d3fd485cade510811668226804a55e.zip | |
Ports: Update and clean up serenity-theming use latest commit 83fb3e7
Diffstat (limited to 'Ports/serenity-theming')
| -rwxr-xr-x | Ports/serenity-theming/package.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Ports/serenity-theming/package.sh b/Ports/serenity-theming/package.sh index fc65123e6f..2c6e290503 100755 --- a/Ports/serenity-theming/package.sh +++ b/Ports/serenity-theming/package.sh @@ -1,8 +1,8 @@ #!/usr/bin/env -S bash ../.port_include.sh port=serenity-theming -version=f4b6f7f552ec1e6c08678e5c49cbe4e707aa93f8 +version=83fb3e7bedda9001111ae437a39b437d305d9cb0 workdir="theming-${version}" -files="https://github.com/SerenityOS/theming/archive/${version}.zip serenity-theming-${version}.zip 465758b888aea1f2334388577b75090f072706edb9df6cc80f4f02e9e611da11" +files="https://github.com/SerenityOS/theming/archive/${version}.zip serenity-theming-${version}.zip 96ab87aec58f3f1f3dda318ffe3185af5f8f3c5f8037ee26a7113545dcc59469" auth_type="sha256" build() { @@ -22,7 +22,6 @@ post_install() { cp -r "${workdir}/color-palettes" "${SERENITY_INSTALL_ROOT}/res/" cp -r "${workdir}/emoji" "${SERENITY_INSTALL_ROOT}/res/" cp -r "${workdir}/graphics" "${SERENITY_INSTALL_ROOT}/res/" - # FIXME: Update this path upstream. cp -r "${workdir}/color-schemes" "${SERENITY_INSTALL_ROOT}/res/color-schemes/" cp -r "${workdir}/wallpapers" "${SERENITY_INSTALL_ROOT}/res/" cp "${workdir}/emoji-theming.txt" "${SERENITY_INSTALL_ROOT}/home/anon/Documents/emoji-theming.txt" |