New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature: add option to change port #11

Open

btrem wants to merge 3 commits into microformats:main from btrem:add_change_port_option

btrem commented Dec 9, 2022

Allows user to change the port of the dev
server by adding -p or --port= on the command
line.


          Feature: add option to change port

3396b49

Allows user to change the port of the dev
server by adding -p or --port= on the command
line.

Author

btrem commented Dec 9, 2022

NB: I'm pretty novice when it comes to Python. So review carefully! ;-)

btrem added 2 commits

December 9, 2022 12:33


          Fix: corrects port argument type

d65c34c


          Refactor: shortens arg dest

901d45a

Shorter dest name makes help text more readable.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet