平衡点


2010/01/26

_ お昼の日課に DDTSS

id:mkouhei さんの日記 - 2010-01-25 を見て.

普段あんまり昼御飯食べないけれど, こういう習慣づけは非常に素晴らしいので見習いたい, と思った.

…とココで書いてみることで自分も参加してみようかと思います.

_ フォントの設定

Inconsolataというフォントがあります. 非常に綺麗で見易い等幅フォントです.Debian では ttf-Inconsolata としてパッケージになっています.

個人的に等幅フォント(=普段コンソールに使うフォント)に求める条件は

  • 数字の零と大文字のオー, 数値の壱と小文字のエル, t, v, w, y の区別がつきやすいこと.
  • バックスラッシュを円記号として表示しないこと.

なんかがあるわけです. Inconsolata はこの辺の欲求を綺麗に満たしてくれるので, 大変嬉しい限りです.

ですが, Inconsolata は基本英数フォントなので, 日本語部分は別のフォントで補うことになります. 折角少し細めの綺麗な等幅なので, 日本語も細ゴシック系の綺麗な等幅フォントで表示したいです.

そんな訳で, 愛用しているタイプラボの「アニトL-等幅教漢」で日本語を表示してみることにしました. ちなみにこのフォントはシェアウェアです.

そんな訳で ~/.fonts.conf の monospace の設定を以下の様に変更. 英数は Inconsolata で, 足りない所を Anito-L-Mono で補う形です.

<fontconfig>
<!-- section:disable bitmap:start -->
<match target="font">
 <edit mode="assign" name="embeddedbitmap">
   <bool>false</bool>
 </edit>
</match>
<!-- section:disable bitmap:end -->
<alias>
 <family>monospace</family>
 <prefer>
   <family>Inconsolata</family>
   <family>Anito-L-Mono</family>
 </prefer>
</alias>

fontconfig のマニュアルをきちんと読んでいないんですが, もしかしてコーディング範囲毎にフォントを指定したりできるのでしょうかねぇ.

いやあ, 綺麗です. 満足.

ついでに Terminal を mlterm から xfce4-terminal へのりかえ. uim の有効無効の切り替えがキーボードでできることを最近知ったので, 以前呟いていた「emacs -nw の時に uim-skk と ddskk がぶつかる!」って悩みも解決.


連絡先など
最近の日記
  • 2024/10/09
    • 1. Mastodon でのメール通知, というか Exim4 と Apparmor
  • 2024/06/19
    • 1. WSL2 での gpg-agent, ssh-agent
  • 2024/06/18
    • 1. WSL で Windows 側のフォントを利用する
  • 2024/06/17
    • 1. WSLとWindowsの時刻同期
  • 2024/06/12
    • 1. wsl2 で systemd
    • 2. wslg の設定
一覧
2006|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|02|03|04|08|09|10|11|12|
2013|01|02|03|04|05|06|08|09|10|11|12|
2014|01|02|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|09|10|
2016|02|03|
2017|01|02|03|05|06|07|09|11|12|
2018|03|06|07|10|11|12|
2019|01|02|03|04|05|07|10|12|
2020|01|02|03|04|05|08|09|10|11|12|
2021|01|02|03|05|06|07|08|09|11|12|
2022|01|02|03|04|05|06|08|10|11|12|
2023|02|03|04|06|08|09|11|12|
2024|01|02|03|04|05|06|10|
Back to Top ▲