松永@富山県立大学です。 > ちなみに用途しては、メーリングリストの番号順にソートしたいけれども、 > Date: によるソートだと、発信日時と ML で付加される番号の順序が必ずしも > 一致しないから、Subject でソートしたいということですね? > > ただ、単純なテキストソートだと、[Mew-dist 999] と [Mew-dist 1000] のよ > うな、桁違いのところがうまくソートされないんですよね…。 なので、番号の頭に 0 をいくつかつけるのが私の趣味なのですが、このメイ リングリストでは却下されたような。