I am using LinuxMint, which is almost identical to Ubuntu Gutsy 7.10. I know I have xrandr, but am unsure whether I have the required -dev packages installed. I rebuilt the machine from scratch, using archived .debs, and did not install all of them, so this may certainly be the case. What is the command for redirecting stdout to a file, is it a pipe or > or what? Many thanks for the prompt reply!