raspi 64 bit available

[rejas]

@sdetweil in raspi-config? or do you mean in the window manager? I was hoping of setting that via console

[karsten13]

@rejas

it works in the WebUI preferences -> screen configuration

command line: xrandr --output HDMI-1 --rotate right (got it not working over ssh)

[karsten13]

If you use the WebUI the changes are made here:

pi@pi4:~ $ cat /usr/share/dispsetup.sh
#!/bin/sh
if ! grep -q 'Raspberry Pi' /proc/device-tree/model || (grep -q okay /proc/device-tree/soc/v3d@7ec00000/status 2> /dev/null || grep -q okay /proc/device-tree/soc/firmwarekms@7e600000/status 2> /dev/null || grep -q okay /proc/device-tree/v3dbus/v3d@7ec04000/status 2> /dev/null) ; then
if xrandr --output HDMI-1 --primary --mode 1920x1080 --rate 60.000 --pos 0x0 --rotate normal --output HDMI-2 --off --dryrun ; then
xrandr --output HDMI-1 --primary --mode 1920x1080 --rate 60.000 --pos 0x0 --rotate normal --output HDMI-2 --off
fi
fi
if [ -e /usr/share/tssetup.sh ] ; then
. /usr/share/tssetup.sh
fi
exit 0

So editing this script should work for command line.

[sdetweil]

@karsten13 cool. once u know what it does, easy

[rejas]

@karsten13 thanks for the info. so i guess for the docs page it will be a “do it via the ui” info instead of the good old “edit this file” :-)