関連ワード:  linux mint switch terminal    linux mint change terminal font    linux mint change terminal colors    linux mint change terminal    linux mint change terminal theme    linux mint change terminal font size    linux mint change terminal prompt    linux mint change terminal size    linux mint change terminal name    linux mint change terminal username