関連ワード:  linux cli change font size    linux terminal change font size    linux console change font size    linux cli increase font size    linux terminal increase font size    linux terminal increase font size shortcut    linux console increase font size    linux shell increase font size    linux command increase font size    linux mint terminal change font size