Skip to content
Snippets Groups Projects
Commit 140c5444 authored by Éloïs's avatar Éloïs
Browse files

Merge branch 'fix/fix_completion' into 'dev'

[fix] cli: add missing options in bash completion

See merge request !1319
parents c1a02c84 3301d97e
No related branches found
No related tags found
1 merge request!1319[fix] cli: add missing options in bash completion
......@@ -45,9 +45,12 @@ webstart \
webrestart \
direct_webstart \
-h \
--help \
-V \
--version \
--home \
-d \
--mdb \
--autoconf \
--addep \
--remep \
......@@ -55,6 +58,7 @@ direct_webstart \
--nb-cores \
--prefix \
-c \
--currency \
--nostdout \
--noshuffle \
--nocheck-issuer \
......@@ -107,6 +111,7 @@ direct_webstart \
--bma-with-crawler \
--bma-without-crawler \
-p \
--port \
--ipv4 \
--ipv6 \
--remoteh \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment