An older xps-13 would be good. Available for under $200. Debian and Arch both install easily and work very well on it, with the exception that you might need to

An older xps-13 would be good. Available for under $200. Debian and Arch both install easily and work very well on it, with the exception that you might need to replace the wifi card. With a little tuning you can easily get over 12 hours battery life. The battery is easy to replace. Ex: https://www.ebay.com/itm/295220146891 https://www.ebay.com/itm/295220146891