diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-07-22 10:06:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-22 10:06:40 +0200 |
| commit | e1f597639bfc2f796f74afa87e41581087f0b26e (patch) | |
| tree | 4bf2bcb127924ed3265c68bd9beb4baa24def432 /doc | |
| parent | 94623b2a82485e573005fc52441dcdbe79f8d026 (diff) | |
| parent | 6d8559048f9dcbac4ee9f65de54bda4cd1a7431c (diff) | |
| download | git-bug-e1f597639bfc2f796f74afa87e41581087f0b26e.tar.gz | |
Merge pull request #3 from MichaelMure/ui
WIP: Web UI
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bash_completion/git-bug | 3 | ||||
| -rw-r--r-- | doc/man/git-bug-webui.3 | 4 | ||||
| -rw-r--r-- | doc/md/git-bug_webui.md | 3 |
3 files changed, 9 insertions, 1 deletions
diff --git a/doc/bash_completion/git-bug b/doc/bash_completion/git-bug index b357f4e0..7ab85fca 100644 --- a/doc/bash_completion/git-bug +++ b/doc/bash_completion/git-bug @@ -475,6 +475,9 @@ _git-bug_webui() flags_with_completion=() flags_completion=() + flags+=("--port=") + two_word_flags+=("-p") + local_nonpersistent_flags+=("--port=") must_have_one_flag=() must_have_one_noun=() diff --git a/doc/man/git-bug-webui.3 b/doc/man/git-bug-webui.3 index 8bba041d..ea182ff2 100644 --- a/doc/man/git-bug-webui.3 +++ b/doc/man/git-bug-webui.3 @@ -23,6 +23,10 @@ Launch the web UI \fB\-h\fP, \fB\-\-help\fP[=false] help for webui +.PP +\fB\-p\fP, \fB\-\-port\fP=0 + Port to listen to + .SH SEE ALSO .PP diff --git a/doc/md/git-bug_webui.md b/doc/md/git-bug_webui.md index caa1b975..52192260 100644 --- a/doc/md/git-bug_webui.md +++ b/doc/md/git-bug_webui.md @@ -13,7 +13,8 @@ git-bug webui [flags] ### Options ``` - -h, --help help for webui + -h, --help help for webui + -p, --port int Port to listen to ``` ### SEE ALSO |