関連ワード:  linux shell font size    linux terminal font size    linux console font size    linux terminal font size increase    linux terminal font size shortcut    linux bash font size    linux terminal font size change    linux shell increase font size    linux terminal font family    arch linux terminal font size