まじかんと雑記

Cygwin は基本的に exe 拡張子を抜いたファイル名でファイルを指定すると自動的に拡張子を補ってファイルを開いてくれるのだが、拡張子があるファイルとないファイルの両方があるときは拡張子は補はれない。よって、常に exe 拡張子を省略して補完することが安全だとは言へない。この点を考慮して賢く補完するのは面倒だと思った次第。