トップ 最新

ただのにっき

2017-12-15(金) [長年日記]

wslttyのテーマを(正しく)設定する

先日、あわよくばVirtualBoxで運用しているLinuxをなくして……などと書いたせいか、自宅で日常的に使っているVirtualBox上のDebianのディスクイメージがぶっこわれてしまい*1、本気でWSL上に開発環境を構築せねばならない状況になった。とはいえDockerの導入はめんどうなので先送りにして、まずはターミナルの環境整備から……(←本質から目をそらして小手先の作業に手を出すダメなパターンである)。

wsltty(というかその派生元であるmintty)のテーマ設定についてググると、けっこうな割合で「ESCシーケンスを発行するechoコマンドを羅列したシェルスクリプトをログイン時に実行する」とか「テーマファイルの中身を.minttyにコピペする」というノウハウがひっかかるが、そんな原始的な方法がオフィシャルに推奨されているとはとても思えないので、しっかり公式ドキュメントなどを読むべきである。

で、「themes」ってディレクトリがあるよってことがわかるので、それを探すと……ないわけよ(笑)。でも、インストール先をたぐってみるとそれっぽい場所が見つかるので*2、そこに「themes」ってディレクトリを掘ってからテーマファイルを入れると、ちゃんと出た:

ほれみろ、これが公式なやり方だよ。……と書いたところで(この日記の日付は12/15だが書いているのは12/18である)、wslttyの1.8.2が出て、ちゃんとmintty由来のテーマファイルがこのディレクトリに入るようになった*3

とはいえ付属のテーマはあまり数もないので、自分の好きなのをネットで探してきて入れると良いと思います。このへんは先人たるminttyユーザがたくさん整備してくれているのでありがたく利用させてもらう:

base16シリーズは人気のある配色を移植したものかな。個人的には mintty-color-xoria256-rc が気に入ったのでこれにした。

Tags: windows10 wsl

*1 「お前はもう不要だ」と言われた機械がすぐ壊れる現象について学術的な研究が必要だと思う。なお、だいじなものはすべてクラウド上にあるので、今回の損害は「手間」だけである。しいていえば立派に育った.zsh_historyが惜しいくらい。

*2 AppData/Local/wsltty/usr/share/mintty

*3 1.8.2からchshで設定したログインシェルを見てくれるようになったので、wslttyユーザは即座にアップデートすべき。