From 12ed1e8f99ef9670609d3c5193e904aa5d0cb99b Mon Sep 17 00:00:00 2001 From: Aster Boese Date: Sat, 27 Jun 2026 21:08:58 +0200 Subject: [PATCH] ci: grep: remove device exceptions from wallpaper check Every excepted device is either fixed or in archived. If the devices are moved back, they should be fixed during the move. Part-of: --- .ci/grep.sh | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/.ci/grep.sh b/.ci/grep.sh index 362dff8d7..5442508a8 100755 --- a/.ci/grep.sh +++ b/.ci/grep.sh @@ -59,19 +59,10 @@ if grep -qr 'deviceinfo_modules_initfs' -- *; then fi POSTMARKETOS_WALLPAPER_PATH='/usr/share/wallpapers/postmarketos.jpg' -# The excluded devices are "grandfathered in". New devices should not be added here. # See https://gitlab.postmarketos.org/postmarketOS/pmaports/-/issues/2529 -if grep -qr $POSTMARKETOS_WALLPAPER_PATH \ - --exclude-dir='device-pine64-pinetab' \ - --exclude-dir='device-oneplus-kebab' \ - --exclude-dir='device-xiaomi-willow' \ - -- device; then +if grep -qr $POSTMARKETOS_WALLPAPER_PATH --exclude-dir='archived' -- device; then echo "ERROR: Please don't include configuration files that set the default wallpaper in device-specific packages!" - grep --color=always -r $POSTMARKETOS_WALLPAPER_PATH \ - --exclude-dir='device-pine64-pinetab' \ - --exclude-dir='device-oneplus-kebab' \ - --exclude-dir='device-xiaomi-willow' \ - -- device + grep --color=always -r $POSTMARKETOS_WALLPAPER_PATH --exclude-dir='archived' -- device exit_code=1 fi