I love my dell 5300 latitude with fedora. Touchscreen, 13 inches, super compact. And a dime a dozen as you can find used enterprise laptops on eBay/Facebook market.
Slap a large nvme in there and you’re good to go for like, under 300. With the leftover cash, you can even get a docking station and monitor if you wanted a dank setup at home.