Linux Tips Linux:diffコマンドでホワイトスペース(空白)を無視して比較する方法 diffコマンドでホワイトスペース(空白)を無視して比較する方法 diffコマンドでホワイトスペース(空白)を無視して比較するには-wオプションを指定します。 オプションの説明 -w, --ignore-all-space ignore a... 2021.01.17 Linux Tips
Windows Terminal Tips Windows Terminal:カーソルの形(┃、 ▃、 ▁、 █、▯ )を変更する方法 カーソルの形(┃、 ▃、 ▁、 █、▯ )を変更する方法 カーソルの形(┃、 ▃、 ▁、 █、▯ )を変更するにはWindows Terminalの設定からsettings.jsonを開きます(またはCtrl+,キーで開く)。 カーソル設定... 2021.01.16 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:ターミナル内のテキストを検索する方法 ターミナル内のテキストを検索する方法 ターミナル内のテキストを検索するにはCtrl+Shift+fを押して検索ダイアログを開きます。 キーバインド(キーボードショットカット)を変更するにはWindows Terminalの設定からsetti... 2021.01.16 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:選択時にCtrl+cを押さずにすぐにコピーする方法 選択時にCtrl+cを押さずにすぐにコピーする方法 選択時にCtrl+cを押さずにすぐにコピーするにはWindows Terminalの設定からsettings.jsonを開きます(またはCtrl+,キーで開く)。 画面表示設定の"copy... 2021.01.16 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:背景の不透明度を変更する方法(キーボードショートカット、設定) 背景の不透明度を変更する方法(キーボードショートカット、設定) マウス操作で変更 Ctrl+Shiftキーを押しながらマウスホイールを操作することで不透明度を変更することができます。 設定でデフォルトの不透明度を変更 デフォルトの不透明度を... 2021.01.12 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:フォントとフォントサイズを変更する方法 フォントとフォントサイズを変更する方法 フォントとフォントサイズを変更するにはWindows Terminalの設定からsettings.jsonを開きます(またはCtrl+,キーで開く)。 フォント設定の"fontFace"と"fontS... 2021.01.11 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:画面を常に手前(前面)に表示する方法 画面を常に手前(前面)に表示する方法 画面を常に手前(前面)に表示するにはWindows Terminalの設定からsettings.jsonを開きます(またはCtrl+,キーで開く)。 画面表示設定の"alwaysOnTop"はターミナル... 2021.01.10 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:カラースキーム(配色)を変更する方法 カラースキーム(配色)を変更する方法 カラースキーム(配色)を変更するにはWindows Terminalの設定からsettings.jsonを開きます(またはCtrl+,キーで開く)。 カラースキーム設定の"colorScheme"は各プ... 2021.01.09 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:起動時の開始ディレクトリをLinuxのホームディレクトリに変更する方法 起動時の開始ディレクトリをLinuxのホームディレクトリに変更する方法 起動時の開始ディレクトリをLinuxのホームディレクトリに変更するにはWindows Terminalの設定からsettings.jsonを開きます(またはCtrl+,... 2021.01.09 Windows Terminal Tips
Windows Terminal Tips Windows Terminal:フルスクリーン表示にする方法 フルスクリーン表示にする方法 フルスクリーン表示はF11キーまたはAlt+Enterキーで切り替えることができます。 設定でデフォルト値を変更するにはWindows Terminalの設定からsettings.jsonを開きます(またはCt... 2021.01.09 Windows Terminal Tips