[mew-dist 22271] Re: mew-case-input

Hideyuki SHIRAI ( 白井秀行 ) shirai at example.com
2002年 11月 14日 (木) 10:22:58 JST


From: Kazu Yamamoto (山本和彦) <kazu at example.com> さん曰く
Subject: [mew-dist 22269] Re: mew-case-input
Message-ID: <20021114.003726.125111435.kazu at example.com>
Date: Thu, 14 Nov 2002 00:37:26 +0900 (JST)

> > だいぶ不便になった感じです。たとえば、`i'で受信したあと、POPサー
> > バーに残ったメールについて処理したい場合に、`$inbox'ではなくわざ
> > わざ`case:$inbox'というふうにcaseを入れ直す必要があることに違和感
> > があります。
> 
> それ以外に、違和感を感じることはあるでしょうか?

mew-input-case が設定してあって、"g" => "%hoge" も "default の
%hoge" になりますよね? 面倒くさいですよ。

> > mew-case-inputは「メッセージを受信する際に通常使われるcase」とい
> > うふうな意味だと感じているので、`g'で特にcaseを指定しなかった場合
> > には、"default"ではなくmew-case-inputが使われる方がしっくりきます。
> 
> "i" が特殊なのです。
> 
> 逆にいうと、"i" で取得したサーバの $inbox へ行くには、別途特殊なコマン
> ドを定義する方が、整合性を壊さずによいと思われます。("G" ? :-)

う〜〜ん、ぼくは、i, g, o などで、対象がリモートホルダのときは、

・i は mew-case-input に依存する。case の違う pop server に繋げ
  たいときは、mew-summary-set-case() をしてから i する。
  
・mew-input-folder(s) の指定で case が無いときは mew-case-input
  を補完する。mew-input-folder(s) でできますよね。

・上記で case の違うリモートフォルダを指定したいときは明示的に
  "case:folder" の形式にする。
  
・上記で mew-case-input が指定してあるのだけど default にしたい
  ときは "default:folder" と指定する。mew-input-folder(s) は
  default が指定されていたら、

の方が自然だと思います。

要するに mew-case-input が一番強い拘束条件で、それからハズレたこ
とをするには case を指定する必要がある。という簡単な論理です。
  
-- 
白井秀行 (mailto:shirai at example.com)



Mew-dist メーリングリストの案内