Ah yes indeed that sounds awesome ?!
Too bad they don’t support other ARM boards … but that’s pretty cool already
I guess we could indeed add this to the core (assuming that we can trust these folks).
Naively I would tend to add this in the regen conf around here with something like:
if [[ -e /proc/device-tree/model ]] && grep -q "Raspberry Pi" /proc/device-tree/model; then
mkdir -p $pending_dir/etc
echo ".. the config snippet ..." > $pending_dir/etc/pip.conf
Annnnd in fact while I write this, I realize my RPi already has this enabled … Are there RPi setups where this is not enabled ?