関連ワード:  linux terminal best font    linux best console font    linux best terminal text editor    arch linux best terminal font    best terminal font linux reddit    what font is used in linux terminal    what is the best font for terminal    what font does ubuntu terminal use