raspberry-pi4: issues with HDMI hotplug
Describe your issue
What's the expected behaviour?
On other devices, switching ports makes the image just display on the newly connected port. Switching to a higher resolution screen should make it allow selecting higher resolutions.
What's the current behaviour?
When switching HDMI ports on the Pi, nothing displays on screen. When switching to a screen with a different resolution, the resolution selector will be stuck with 1080p as a maximum, even if the screen supports 144p or 4k.
How to reproduce your issue?
What device are you using?
raspberry-pi4
On what postmarketOS version did you encounter the issue?
-
edge (
masterbranch) -
v24.06 -
v23.12(supported until 2024-07-16) -
I confirm that the issue still is present after running
sudo apk upgrade -a
On what environment did you encounter the issue?
Environments
- GNOME Shell on Mobile
- Phosh
- Plasma Mobile
-
Sxmo (Wayland/Sway) Please post the output of
sxmo_version.sh - Other: Plasma Desktop
How did you get postmarketOS image?
- from https://images.postmarketos.org
- I built it using pmbootstrap
- It was preinstalled on my device
What's the build date of the image? (in yyyy-mm-dd format)
2024-06-30
Additional information
Rebooting fixes both issues.