Fix ownCloud home directory mounting

cesnet-central/deployments/fullhub.yaml

@@ -79,6 +79,14 @@ singleuser:
         args:
           - "--CondaKernelSpecManager.env_filter='/opt/conda$'"
         image: "valtri/single-user:jupyter-4e-collab"
+  #
+  # Dirty hack to make remote mount working properly:
+  #
+  # 1) wait for webdav sidecar image to kick in
+  # 2) change directory to the mounted version of itself
+  # 3) launch notebook server
+  #
+  cmd: [ "/bin/sh", "-c", "i=0; while ! grep '^webdav-fs: /home/jovyan ' /proc/mounts && test $i -lt 30; do echo 'Waiting for ownClound mount...'; sleep 0.5; i=$((i+1)); done; cd .; jupyterhub-singleuser" ]
 
 hub:
   services: