Fix deploy

- Also deploy when we have DESKTOP_ONLY (because docker image doesn't
deploy anymore)
- Correctly get the list of git directory to push.
This commit is contained in:
Matthieu Gautier
2019-05-30 18:12:53 +02:00
parent b90f32e9bf
commit 629fccb327
2 changed files with 3 additions and 3 deletions

View File

@ -70,7 +70,7 @@ then
fi
cd ${EXPORT_DIR}/GIT
GIT_REPOS=$(ls -d */)
GIT_REPOS=$(ls -l | awk '/^d/ { print $9 }')
if [[ "x$GIT_REPOS" != "x" ]]
then
for repo in $GIT_REPOS