Comment by arestifo

Does anybody know the name of the font they are using in the new terminal? Looks sweet