Useful scripts for running Ubuntu on a Dell XPS 12