install_python2.sh: ports.ubuntu.com apt sources for "32-bit" RasPiOS 12 — regardless whether booting 32-bit or 64-bit "armhf" kernels #3638
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes bug:
Description of changes proposed in this pull request:
Tweak apt sources for "32-bit" RasPiOS 12.
Make clear that 32-bit Ubuntu/Debian are not supported on Raspberry Pi.
Smoke-tested on which OS or OS's:
scripts/install_python2.sh verified to install apt package
python2
on both:"32-bit" RasPiOS 12 on RPi 4 — running a 64-bit kernel i.e.
uname -a
showedaarch64
"32-bit" RasPiOS 12 on RPi 4 — running a 32-bit kernel i.e.
uname -a
showedarmv7l
— due toarm_64bit=0
in/boot/config.txt
(per Strange switch to 64bit kernel on 32bit RasPiOS [on 64-bit CPU architectures] #3516)Mention a team member @username e.g. to help with code review:
@EMG70