3 ms·Is it pantheon terminal? How did you change the font? I installed oh-my-zsh, but agnoster did not work well.by insano 14y agoIs it pantheon terminal? How did you change the font? I installed oh-my-zsh, but agnoster did not work well.