My laptop sometimes does not switch to ondemand as it should be. Calling /etc/init.d/ondemand manually after logging in seems to work.
My laptop sometimes does not switch to ondemand as it should be. Calling /etc/init. d/ondemand manually after logging in seems to work.