On Mon, Feb 03, 2020 at 11:57:18AM -0500, Stefan Monnier wrote: > > in fact when I restarted my laptop the problem returned. > > By reading the link https://wiki.debian.org/CpuFrequencyScaling more > > carefully > > Note that this page is pretty old/outdated. AFAIK nowadays the better > option is to just throw away most of those tools and configs and just > use the default (unless your needs are unusual and you know what you're > doing).
Then please someone with knowledge about the topic update the wiki. Cheers, Oli