Despite having googled for it, I’m still not sure whether or not DietPi supports the official Raspberry Pi 4 CPU fan or not? As far as I understand it, Raspberry OS/Raspbian ship with CPU fan controller software built straight into the CLI GUI. However, it seems like that feature has been left out in dietpi-config?
Unless there is official support for controlling the fan, I’d very much appreciate any help that’ll let me explore my options. For the record, this GitHub thread discusses how to let DietPi control the fan. In one of the posts, this command is suggested:
echo 'dtoverlay=gpio-fan,gpiopin=14,temp=60000' >> /boot/config.txt
Does it make sense to “manually” add an entry to /boot/config.txt using the echo command or a text editor, or are there any fancier ways of doing it that is preferred?