mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 14:32:28 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Complete missing server options

Browse source
This commit is contained in:
Daniel Martí 2015-01-11 14:24:45 +01:00
parent 443af0bba4
commit 6f4ffefb05
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
completion/bash-completion
View file

@ -249,7 +249,8 @@ __complete_stats() {
__complete_server() { __complete_server() {
opts="-i -v -q" 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 __complete_options
} }