fix docker bash err

yianchenhpe · Jun 27, 2024 · 97b68f2 · 97b68f2
1 parent d5d5f12
commit 97b68f2
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
@@ -57,9 +57,10 @@ jobs:
           docker exec my_container mkdir dragon
           docker cp ./ my_container:/dragon
           docker exec my_container ls
-          docker exec my_container cd dragon && source hack/clean_build && cd doc && make
-          docker exec my_container cd dragon && ls doc && ls src
-          docker cp my_container/doc ./doc
+          docker exec -i my_container bash -c "cd dragon && source hack/clean_build && cd doc && make"
+          docker exec -i my_container bash -c "cd dragon && ls doc && ls src"
+          docker cp my_container/doc .
+          ls ./doc
       
       # - name: Build with Doxygen
       #   uses: mattnotmitt/[email protected]