Not sure what dev tools, I use Ubuntu cinnamon on a mac (lost macOS to a hard drive failure).