Development Environment when using Resource Manager

If I am planning on using Digital Ocean for my hosting and database it seems like the easiest way to do so is so use the resource manager.

Since you need to select “Server Type: Docker” for your production target with Digital Ocean does that mean you have to use Docker for your local development or can you stick with Wappler Local Server?