From 84fda18f72b857b7bdb3d728f9a14abdbfa0a07e Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 25 Mar 2019 09:55:53 +0100
Subject: [PATCH] [deploy] Create parent directories for documentation if
package was never uploaded before (closes #21)
---
bob/devtools/deploy.py | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/bob/devtools/deploy.py b/bob/devtools/deploy.py
index 191d3af8..918d20ad 100644
--- a/bob/devtools/deploy.py
+++ b/bob/devtools/deploy.py
@@ -129,8 +129,12 @@ def deploy_documentation(path, package, stable, public, branch, tag, username,
deploy_docs_to.add('stable')
for k in deploy_docs_to:
- remote_path = '%s/%s' % (remote_path_prefix, k)
+ if not davclient.check(remote_path_prefix): #base package directory
+ logger.info('[dav] mkdir %s', remote_path_prefix)
+ if not dry_run:
+ davclient.mkdir(remote_path_prefix)
logger.info('[dav] %s -> %s%s%s', path, SERVER, server_info['root'],
remote_path)
+ remote_path = '%s/%s' % (remote_path_prefix, k)
if not dry_run:
davclient.upload_directory(local_path=path, remote_path=remote_path)
--
GitLab