If you go for a thinkpad, I advise going for a model that still uses the dual battery system. Some models I can think of: t480, x270, p51s, p52s. Since you'll be running Linux, you'll need all the battery power you can get and having dual batteries make hotswapping possible. Also avoid getting models that have an nvidia dedicated gpu if possible.