From 8cc3e195cf381151f4567cc6c17601dc31a604c8 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 16 Nov 2020 18:06:47 +0100
Subject: [PATCH] [dav] Simplify configuration handling to make it generic for
other tasks (bis)
---
bob/devtools/scripts/dav.py | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/bob/devtools/scripts/dav.py b/bob/devtools/scripts/dav.py
index 69d0d92b..26f161d9 100644
--- a/bob/devtools/scripts/dav.py
+++ b/bob/devtools/scripts/dav.py
@@ -25,8 +25,10 @@ logger = get_logger(__name__)
def dav():
"""Commands for reading/listing/renaming/copying content to a WebDAV server
- Commands defined here may require a username and a password to operate
- properly.
+ Commands defined here require a server, username and a password to operate
+ properly. These values will be asked to you everytime you use a subcommand
+ in this group. To avoid repetitive asking, create a configuration file as
+ indicated in the :doc:`bob.devtools.install.setup` subsection of the manual.
"""
pass
--
GitLab