Piecuu/pmaports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ci: grep: remove device exceptions from wallpaper check

Browse source 
Every excepted device is either fixed or in archived. If the devices are
moved back, they should be fixed during the move.

Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8922>
This commit is contained in:
Aster Boese 2026-06-27 21:08:58 +02:00 • committed by The Friendly Meow (merge) Bot
parent 0133efec30
commit 12ed1e8f99
No known key found for this signature in database
1 changed files with 2 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

13
.ci/grep.sh
View file

@ -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