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