I had tried that repo, but the gui would never boot up after installing the nvidia driver from there. I am using the drivers downloaded from geforce.com