I'd definitely recommend a thinkpad. However if you buy a high-end model with optimus graphics, you'll need to use some workarounds like these:

http://sagark.org/optimal-ubuntu-graphics-setup-for-thinkpad...

http://sagark.org/thinkdisp-about-installation/

*Disclaimer, I wrote this guide / app