Commit Graph
15 Commits
Author SHA1 Message Date
Stefan Hansson 73ea3570c8 main/devicepkg-dev: don't assume deviceinfo_chassis is set
The deviceinfo_chassis variable is not mandatory in the deviceinfo
schema, so we shouldn't treat it as always being there.

Signed-off-by: Stefan Hansson <newbyte@postmarketos.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7762>
2026-01-17 00:49:33 +00:00
Andrea Bolognani 9200f8fe1a devicepkg-dev: fix call to dc (MR 4959)
The current invocation doesn't work:

  $ busybox dc "100" "5" / p
  dc: can't open '100': No such file or directory

Fix it so that it does:

  $ busybox dc -e "100 5 / p"
  20

One of the messages that is printed on failure was missing
the "WARNING:" prefix. Address that too.

Signed-off-by: Andrea Bolognani <eof@kiyuko.org>
2024-03-23 11:46:12 +03:00
Pablo Correa Gómez 0a95f6ac31 main/devicepkg-dev: machine-info: remove manufacturer from HARDWARE_MODEL (MR 4551) 2024-01-22 19:32:30 +01:00
Luca Weiss 6460e7c967 main/devicepkg-dev: add hardware vendor & model into machine-info (MR 3950)
Soon openrc-settingsd (hostnamed) will uses these properties so the
information can be exposed to apps like GNOME Settings.

Let's also move the shellcheck comment to the outer scope, otherwise
we'd need four of these comments now, and let's not use ${} but just $.
2023-03-14 04:44:51 +00:00
Caleb Connolly 80eb55a604 main/devicepkg-dev: don't generate splash images (MR 2878) 2023-02-18 01:40:28 +00:00
Oliver Smith f787cdace2 main/devicepkg-dev: allow overriding splash config (MR 2931)
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).
2022-02-13 19:42:12 +01:00
Luca Weiss 22b80dc8cc main/devicepkg-dev: add netboot splashes (MR 2222) 2022-01-22 13:40:05 +01:00
Bobby The Builder c78ed34a5f main/devicepkg-dev: new resizefs splash (MR 1996) 2021-04-11 19:52:33 +02:00
Luca Weiss 7fc1292b9b main/devicepkg-dev: generate /etc/machine-info (MR 1246) 2020-05-24 06:35:02 +02:00
Minecrell d4ee123079 main/devicepkg-dev: Fix shellcheck warnings in splash screen generation (!899)
(These were present before the code was moved to devicepkg-dev.)
2020-01-28 15:33:43 +01:00
Minecrell e3d07c832c main/{devicepkg-dev,postmarketos-mkinitfs}: statically generate splash screens (!899)
We need to generate the splash screens separately for each device,
because they are specific to the device's display resolution.

At the moment we do this dynamically during the installation process.
This has the advantage that there is no need to re-build all device
packages when one of the splash screen is changed (or a new one is added).

In reality, however, the splash screens do not change very frequently.
On the other hand, generating the splash screens dynamically has signficant
disk usage overhead for a minimal ("none" UI) rootfs:

The Python interpreter together with the necessary libraries requires
about ~60 MB of disk space on aarch64.
The splash screens itself require about ~100 KB for 720x1280.

This is not necessary if we move the splash screen generation into
devicepkg-dev, which is used to build the device package for all devices.
Another advantage is that we no longer need the (rather complicated)
caching mechanism for splash screens - so we actually end up with less
lines than before.

rootfs size for samsung-a5ulte ("none" UI):
  Before: 450M
  After:  388M (-62M)

After this change, every(!) device package needs to be rebuilt once.
No changes are necessary in device packages.
2020-01-28 15:33:40 +01:00
Oliver Smith 63544524b7 main/devicepkg-dev: make shellcheck happy (!636) 2019-09-26 21:43:34 +02:00
Daniele Debernardi 9249bf2122 Add support to different deviceinfo variables in mainline/downstream subpackages 2018-11-27 07:47:11 +01:00
Michael Hamann 99b398a7e5 devicepkg-dev: Generate calibration matrix for libinput (#1205)
* Automatically generate a calibration matrix for libinput
  This takes the calibration matrix for wayland and divides the pixel
  offsets by the device width/height.
* Bump pkgrels of devices using devicepkg-dev
  This causes new packages to be generated, using the new devicepkg-dev
  version.
2018-02-11 10:20:31 +00:00
drebrez 4782ffd01f Add devicepkg-dev which generate the touchscreen udev rule based on the deviceinfo (#995)
* Use devicepkg-dev by default in new device wizard
* Add link to reference wiki page
2017-12-14 21:17:18 +00:00