2019年11月22日金曜日

Windows PowerShellの配色を変更

最近またサボっていますが・・・

Windows PowerShellの配色については不満を持っている方も多く、Googleさんで検索するとColorTool.exeと言うものを使うと簡単に変更できると言う投稿が見つかりました。

ただ、このColorTool.exeへのリンクが変更になっているので備忘録としてアップしておきます。


なお、2019年11月22日時点なので、また変更になるかもしれません。
時刻: 0 件のコメント:
登録: 投稿 (Atom)

EXCELの表をKaTeX形式に変換するマクロ

生成AI時代にプログラミング言語を学習する必要はあるのか？ 最近では生成AIがプログラムを作成する時代になってきましたが、そんな時代にプログラミング言語を学習する必要はあるのでしょうか？ ということで早速 Google さんに聞いてみました。 生成AI時代にプログラミング言語を学...

  • QNAPでPostgreSQLを動かす
     PostgreSQL公式では起動できない QNAPでPostgreSQLを動かす場合はContainerSenterを導入してDockerで動かすようになっています。 標準でサポートされているデータベースはMariaDBなのですがバージョンが5.5.57（最新版は10.5.10...
  • ESP32をW5500で有線LAN接続してmDNSしてみた
     最近はESP32で遊んでいますがWi-Fiの環境が不安定な場合、有線LANで接続できるとうれしいかなということでW5500を積んだボードを見つけて早速やってみました。 ESP32にセンサーをつないでMQTTでサーバへデータを投げるんですが、Wi-Fiでつなげた場合はｍDNSを使...
  • Raspberry Pi 3b+でLineageOS 15.1を動かす
    前回 、Raspberry Pi 3b+でLineageOS 14.1 (Android 7.1.2)をインストールしてみましたが、Scratch Jrのマウスクリックができずに挫折してしまいました。今回、 LineageOS 15.1(Android 8.1.0) を見つけたの...