I know sorry, but didn't explain myself well enough.
You're right - changing the BIOS setting (or unplugging discrete graphics cards) is the solution right now. And soon in 18.04 you won't need to do either, when Mutter's hybrid support is working.
I know sorry, but didn't explain myself well enough.
You're right - changing the BIOS setting (or unplugging discrete graphics cards) is the solution right now. And soon in 18.04 you won't need to do either, when Mutter's hybrid support is working.