Windows Terminalは、Windows 11からは、標準的なコンソールとしても利用できるようになり、今後、コンソールプログラムの主流になることが予想される。いまのところWindowsに標準で搭載されているわけではないが、Microsoftストアから簡単にインストールが可能だ。
Windows Terminalは、一般的な設定は、タブバー右端のメインメニューにある「設定」で行うことができる。これを本連載では、「GUI設定」と呼んでいる。というのは、もともとWindows Terminalは、settings.jsonファイルを使って設定を行っていたからだ。現在でも ...
Windows Terminalは、一般的な設定は、タブバー右端のメインメニューにある「設定」で行うことができる。これを本連載では、「GUI設定」と呼んでいる。というのは、もともとWindows Terminalは、settings.jsonファイルを使って設定を行っていたからだ。現在でも ...
Windows Terminalのキー割り当ては、Setting.jsonと呼ばれるJSON形式のファイルを編集することで行う。 JSON形式とは、JavaScriptからオブジェクトをテキスト形式で保存、読み込みを行うために作られた形式だが、インターネット関連のサービスやローカルアプリケーションでも広く使われる形式だ。