Function rank

src/workspaces/win-command.ts:96–101

(ext: string)

}

function rank(ext: string): number {
  const e = ext.toLowerCase();
  if (e === '.exe' || e === '.com') return 0;
  if (e === '.cmd' || e === '.bat') return 1;
  return 2;
}