added --with

2025-11-21 15:48:08 +08:00 · 2014-01-24 15:17:51 -08:00
parent 1e3d01edd2
commit 35901fe6d1
3 changed files with 62 additions and 19 deletions
--- a/completions/bash/feedgnuplot
+++ b/completions/bash/feedgnuplot
@@ -7,6 +7,7 @@ complete -W               \
    --colormap            \
    --curvestyle          \
    --curvestyleall       \
+    --with                \
    --dataid              \
    --domain              \
    --dump                \