chiark / gitweb /
Complete missing server options
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 11 Jan 2015 13:24:45 +0000 (14:24 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 11 Jan 2015 13:24:45 +0000 (14:24 +0100)
completion/bash-completion

index b9521ad37051e47be3643882b31324b4ed0df133..b57b843b8c4fb80e23f97d278b0512f812aac229 100644 (file)
@@ -249,7 +249,8 @@ __complete_stats() {
 
 __complete_server() {
        opts="-i -v -q"
-       lopts="--identity-file --verbose --quiet update"
+       lopts="--identity-file --local-copy-dir --sync-from-local-copy-dir
+ --verbose --quiet update"
        __complete_options
 }