I use a TUXEDO InfinityBook Pro 13 since 2017 and I love it. It's essentially the German version of a System76 Galago Pro. You can configure it to your needs, i

I use a TUXEDO InfinityBook Pro 13 since 2017 and I love it. It's essentially the German version of a System76 Galago Pro. You can configure it to your needs, it's not too expensive and the hardware just works with Linux (Ubuntu 16.04/18.04 in my case).