1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-29 12:17:36 +00:00

Ports: Update serenity-theming use latest commit 018356b

Improve theming support include color-palettes, wallpapers and
terminal-colors folders
This commit is contained in:
djwisdom 2022-08-12 10:50:37 +08:00 committed by Brian Gianforcaro
parent 5099f1da2a
commit 7a91105270
2 changed files with 7 additions and 3 deletions

View file

@ -1,8 +1,8 @@
#!/usr/bin/env -S bash ../.port_include.sh
port=serenity-theming
version=3dc8b8e4605f726da82d3262f6c4ea48ada8d569
version=018356b4d5fa742efba21e3dd67c3159f44fd447
workdir="theming-${version}"
files="https://github.com/SerenityOS/theming/archive/${version}.zip serenity-theming-${version}.zip 20a6b48b8787fe263dcafae4f698913b0b93f6c6f74895b1c6df4f9a16f0b3ac"
files="https://github.com/SerenityOS/theming/archive/${version}.zip serenity-theming-${version}.zip 061cc14c963d76382c4f4c478feede39a50403d6b0c67fc5199a0f1f0fa9b068"
auth_type="sha256"
build() {
@ -19,4 +19,8 @@ post_install() {
cp -r "${workdir}/icons" "${SERENITY_INSTALL_ROOT}/res/"
cp -r "${workdir}/themes" "${SERENITY_INSTALL_ROOT}/res/"
cp -r "${workdir}/fonts" "${SERENITY_INSTALL_ROOT}/res/"
cp -r "${workdir}/color-palettes" "${SERENITY_INSTALL_ROOT}/res/"
cp -r "${workdir}/emoji" "${SERENITY_INSTALL_ROOT}/res/"
cp -r "${workdir}/terminal-colors" "${SERENITY_INSTALL_ROOT}/res/"
cp -r "${workdir}/wallpapers" "${SERENITY_INSTALL_ROOT}/res/"
}