関連ワード:  increase terminal text size linux    change terminal text size linux    increase terminal font size linux mint    change terminal font size linux    increase console font size linux    change terminal font size linux mint    change console font size linux    change terminal font size arch linux    increase terminal font size    how to increase font size in linux terminal