NYAOS 3000 で bat ファイルとかを拡張子なしで実行する

NYAOS 3000 は bat ファイルを実行するのに拡張子が省略できない。なので scala.bat とか git.cmd とか ant.bat とか rake.bat とか非常にめんどい。中には bzr みたいに Windows インストーラで入れると bzr.exe なのに Python base のインストーラで入れると bzr.bat になるようなのもあってものすごくめんどい。
なんとかならないかと思っていたけどふとコマンドラインフィルタでなんとかできそうだと思ったのでやってみた。

function nyaos.filter(cmdline)
    cmdline = cmdline:gsub('^[%w-_]+', function(cmd)
        if cmd:match('%.') then
            return false
        end

        local path='.;' .. os.getenv('PATH')

        local cmdl=cmd:lower()
        local variation={}
        for ext in os.getenv('PATHEXT'):gmatch('[^;]') do
            variation[ cmdl .. ext] = true
        end
        for key,val in nyaos.suffix() do
            variation[ cmdl .. '.' .. key:lower() ] = true
        end

        for path1 in path:gmatch('[^;]+') do
            for fname in nyaos.dir(path1) do
                if variation[ fname:lower() ] then
                    return fname
                end
            end
        end
    end)
    return cmdline
end