• I’ll buy used, so don’t want latest and greatest. It won’t be my main laptop.
• to run linux obviously.
• good battery life, light, not too small to use, but large enough to type on (obviously can do without numeric keypad). not too fragile!
• I’ll be doing some light python work, perhaps some c/c++ but I’m not after a workhorse, just something for quickly fixing bugs, or making notes on
• sub 200 GBP / 250USD I guess

I’d be interested in hearing recommendations, and also what to avoid!