I used a Lenovo X230 for years and I loved it. One can be had for under $200 US and the Linux drivers are flawless, though make sure you install battery manage

I used a Lenovo X230 for years and I loved it. One can be had for under $200 US and the Linux drivers are flawless, though make sure you install battery management utilities. The battery and hard drive are replaceable, and there's a slot to add RAM. Consider getting one refurbished, then upgrade the battery and main storage.