Is it possible to specify the port used by jumpstart rails server in the development environment?

Is it possible to change the port used by the jumpstart rails server in the development environment from port 3035 to use port 8080 instead?

$ foreman start
21:09:29 web.1     | started with pid 19109
21:09:29 webpack.1 | started with pid 19110
21:09:33 web.1     | => Booting Puma
21:09:33 web.1     | => Rails 6.0.1 application starting in development
21:09:33 web.1     | => Run `rails server --help` for more startup options
21:09:34 webpack.1 | ℹ ｢wds｣: Project is running at http://localhost:3035/

You can add the "-p 8080" option to it just like you normally would. Just drop it in the Procfile.dev.

Also the 3035 port shown is for the webpack-dev-server, not Rails.