Take a look into a few chromebooks. The models with crostini have a full built in Linux dev environment complete with a terminal and the ability to run standard Linux apps like vscode. The pixelbook go had my favorite keyboard and is a nice size. You might like that! The discontinued slate is really nice too.