forge/pmaports
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

main/devicepkg-dev: allow overriding splash config (MR 2931)

Browse source 
Allow calling the script with:
  SPLASH_CONFIG=$srcdir/splash.ini devicepkg_build $startdir $pkgname

In order to pass a custom splash config, as it will be used with the
PineNote (MR 2910).
This commit is contained in:
Oliver Smith 2022-02-13 19:39:14 +01:00
parent b0971223a3
commit f787cdace2
No known key found for this signature in database
GPG key ID: 0583312B195F64B6
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
main/devicepkg-dev/APKBUILD
View file

@ -1,5 +1,5 @@
pkgname=devicepkg-dev
pkgver=0.13.1
pkgver=0.13.2
pkgrel=0
pkgdesc="Provides default device package functions"
url="https://postmarketos.org"
@ -62,7 +62,7 @@ package() {
}
sha512sums="
d69930dd790b00fb39760a37d95a10899f0d167e10e2804feb05d9ce04f94185dc32d36edc90214aba2ea2aa09bf18f7dab93f1d2eff23f67beb2cc83be30e7c compiler-gcc.h
93e6e8b144ed703d05bcf98d8bf1035743a20e8b51b992674cd15b482dc9a977e9c96f1a276653814d1dd77e4f96502b093a731f4ea625d49f8e8b38420bdb27 devicepkg_build.sh
77dcc7bc4f90bc11f99b7bb88be171f706f7d92921b694ce862d31ab858a4b8850c9e0bdb68299ffce9f934a3c8ab16eb307fd09534085e65f0101334bd68a9d devicepkg_build.sh
74c1b9b265a943604d5d538ca66d4b7bcad9adcf40710ab19d795b55aac39669bf1089f7f0ec81aa7a01b537784bef4310e4acc3d7a6ba1f282ab01652bdc4d4 devicepkg_package.sh
53aa129da5bd52376271bbd37ed7205f2dac971d442c5085260ed1c4a9b014a656cbe28ea45d242be60a2d0f8851611f3b8352c880c017995cda6ae093e5d324 downstreamkernel_prepare.sh
107242a3da38a574c46cb779e0c75afbeef4cfe659e1b85971973ac55843df06f70f53a5985ca623d4123f05f2984f5dace4a53a3509ecefd7dfdc3c8b705cfe downstreamkernel_package.sh

2
main/devicepkg-dev/devicepkg_build.sh
View file

@ -23,7 +23,7 @@ fi
# Create splash screens
generate_splash_screens()
{
splash_config="/etc/postmarketos/splash.ini"
splash_config=${SPLASH_CONFIG:-/etc/postmarketos/splash.ini}
splash_width=${deviceinfo_screen_width:-720}
splash_height=${deviceinfo_screen_height:-1280}