■ wslttyのテーマを(正しく)設定する 先日、あわよくばVirtualBoxで運用しているLinuxをなくして……などと書いたせいか、自宅で日常的に使っているVirtualBox上のDebianのディスクイメージがぶっこわれてしまい*1、本気でWSL上に開発環境を構築せねばならない状況になった。とはいえDockerの導入はめんどうなので先送りにして、まずはターミナルの環境整備から……(←本質から目をそらして小手先の作業に手を出すダメなパターンである)。 wsltty(というかその派生元であるmintty)のテーマ設定についてググると、けっこうな割合で「ESCシーケンスを発行するechoコマンドを羅列したシェルスクリプトをログイン時に実行する」とか「テーマファイルの中身を.minttyにコピペする」というノウハウがひっかかるが、そんな原始的な方法がオフィシャルに推奨されているとはとても