Thought I'd post a little note here that by combining the skript posted here earlier and switchconf, I can now switch from Intel to ATI graphics quite easily, (just reboot, change adapter in bios,...