10/05/15 22:48:50 dyY2dfzG
>>472
テーマのインストールは結局テーマのファイルを
$HOME/.themes に展開しているだけ
ということは,$HOME/.themes に同名のディレクトリがあれば
同名で上書きするか確認ことになるのだが
外観の設定は上書きを確認するような仕様にはなっていないので
インストールできない
前のテーマを使う必要が今後ないのなら
$HOME/.themes 内の同名のディレクトリを削除してからインストールすればいい
あるいは圧縮形式のテーマファイルの中のディレクトリ名を変更すればいい