I bought a laptop to use as my Debian machine.
It’s a refurbished Lenovo Thinkpad X230i that I bought from Tier1Online. I’ve been using them for a while for personal and business buying and, in my experience, they have been incredibly helpful beforehand (sales), after I’ve bought things (customer service) and also after the warranty has run out (above and beyond).
The specification is:
Grade: B
Processor: Intel® Core™ i3-3110M Processor 3M Cache, 2.40 GHz
Memory: 4GB PC3-12800 DDR3-1600MHz SoDIMM Memory
Hard Disk: 320GB
Ports: Mini Display port w/ audio | VGA | 2x USB3.0 | Always on USB 2.0 | 4-in-1 SD Card Reader (SD/SDHC/SDXC/MMC slot) | Express Card 54mm
Display: 12.5″ WXGA HD (1366 x 768) [Part number 93P5668]
Weight: 1.34kg (2.96lbs)