The unpac monorepo manager self-hosting as a monorepo using unpac
Tweak completion scripts
+16
-24
+3
-5
vendor/opam/cmdliner/src/tool/bash-completion.sh
+3
-5
vendor/opam/cmdliner/src/tool/bash-completion.sh
···
25
25
msg="";
26
26
while read text_line; do
27
27
if [[ "$text_line" == "message-end" ]]; then
28
+
msg=${msg#?} # remove first newline
28
29
break
29
30
fi
30
31
msg+=$'\n'"$text_line"
···
35
36
item_doc="";
36
37
while read text_line; do
37
38
if [[ "$text_line" == "item-end" ]]; then
39
+
item_doc=${item_doc#?} # remove first newline
38
40
break
39
41
fi
40
-
if [[ -n "$item_doc" ]]; then
41
-
item_doc+=$'\n'"$text_line"
42
-
else
43
-
item_doc=$text_line
44
-
fi
42
+
item_doc+=$'\n'"$text_line"
45
43
done
46
44
# Sadly it seems bash does not support doc strings, so we only
47
45
# add item to to the reply. If you know any better get in touch.
+8
-12
vendor/opam/cmdliner/src/tool/cmdliner_data.ml
+8
-12
vendor/opam/cmdliner/src/tool/cmdliner_data.ml
···
26
26
msg="";
27
27
while read text_line; do
28
28
if [[ "$text_line" == "message-end" ]]; then
29
+
msg=${msg#?} # remove first newline
29
30
break
30
31
fi
31
32
msg+=$'\n'"$text_line"
···
36
37
item_doc="";
37
38
while read text_line; do
38
39
if [[ "$text_line" == "item-end" ]]; then
40
+
item_doc=${item_doc#?} # remove first newline
39
41
break
40
42
fi
41
-
if [[ -n "$item_doc" ]]; then
42
-
item_doc+=$'\n'"$text_line"
43
-
else
44
-
item_doc=$text_line
45
-
fi
43
+
item_doc+=$'\n'"$text_line"
46
44
done
47
45
# Sadly it seems bash does not support doc strings, so we only
48
46
# add item to to the reply. If you know any better get in touch.
···
95
93
msg="";
96
94
while read text_line; do
97
95
if [[ "$text_line" == "message-end" ]]; then
96
+
msg=${msg#?} # remove first newline
98
97
break
99
98
fi
100
99
msg+=$'\n'"$text_line"
···
105
104
item_doc="";
106
105
while read -r text_line; do
107
106
if [[ "$text_line" == "item-end" ]]; then
107
+
item_doc=${item_doc#?} # remove first space
108
108
break
109
109
fi
110
-
if [[ -n "$item_doc" ]]; then
111
-
# Sadly it seems impossible to make multiline
112
-
# doc strings. Get in touch if you know any better.
113
-
item_doc+=" $text_line"
114
-
else
115
-
item_doc="$text_line"
116
-
fi
110
+
# Sadly it seems impossible to make multiline
111
+
# doc strings. Get in touch if you know any better.
112
+
item_doc+=" $text_line"
117
113
done
118
114
# Handle glued forms, the completion item is the full option
119
115
if [[ "$group" == "Values" ]]; then
+5
-7
vendor/opam/cmdliner/src/tool/zsh-completion.sh
+5
-7
vendor/opam/cmdliner/src/tool/zsh-completion.sh
···
22
22
msg="";
23
23
while read text_line; do
24
24
if [[ "$text_line" == "message-end" ]]; then
25
+
msg=${msg#?} # remove first newline
25
26
break
26
27
fi
27
28
msg+=$'\n'"$text_line"
···
32
33
item_doc="";
33
34
while read -r text_line; do
34
35
if [[ "$text_line" == "item-end" ]]; then
36
+
item_doc=${item_doc#?} # remove first space
35
37
break
36
38
fi
37
-
if [[ -n "$item_doc" ]]; then
38
-
# Sadly it seems impossible to make multiline
39
-
# doc strings. Get in touch if you know any better.
40
-
item_doc+=" $text_line"
41
-
else
42
-
item_doc="$text_line"
43
-
fi
39
+
# Sadly it seems impossible to make multiline
40
+
# doc strings. Get in touch if you know any better.
41
+
item_doc+=" $text_line"
44
42
done
45
43
# Handle glued forms, the completion item is the full option
46
44
if [[ "$group" == "Values" ]]; then