Keith Nuttle wrote:
....

... My plan was to do exactly what was suggested, buy a
short extension cord, cut of the female end, and wire it into the switch
box.

If all else fails, I will buy the cord and plug and make one myself.
....

Buy the long one and a plug. Use the molded plug end for the saw
section and put the store-bought plug on the remainder and you now have
a nice heavy duty extension cord besides.

--