« テレビ番組等感想 その 476: 2020 年第 3 四半期の纏め | トップページ | Yash 2 その 289: extendedglob と braceexpand の高速化 »

2020年11月12日 (木)

Yash 2 その 288: パス名展開結果の順序

パス名展開の結果はその時のロケールに基づいて辞書順に並び替へることになってゐるのだが、別に必ずしも辞書順に並び替へなくても良いのではといふ疑念があり、パス名展開の結果を並び替へないやうにするオプション設定を追加しようと検討したものの、既存の他のシェルにはこのやうなオプションを採用してゐるものは見当たらず、特に需要はないのだらうかと思案してゐる次第

|

« テレビ番組等感想 その 476: 2020 年第 3 四半期の纏め | トップページ | Yash 2 その 289: extendedglob と braceexpand の高速化 »

コメント

コメントを書く



(ウェブ上には掲載しません)




« テレビ番組等感想 その 476: 2020 年第 3 四半期の纏め | トップページ | Yash 2 その 289: extendedglob と braceexpand の高速化 »