Add home volume mount for che-theia editor (#811)

Add home folder volume mount for che-theia editor. The GitHub authentication session is saved in this directory, so the GitHub authentication will be restored after workspace restart.
eclipse-che · Jan 22, 2021 · b684ccc · b684ccc
1 parent 3c46a86
commit b684ccc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/happy-path.yaml b/.github/workflows/happy-path.yaml
@@ -14,11 +14,11 @@ name: Happy Path
 on:
   pull_request:
     paths:
-      - '.github/workflows/happy-path.yaml'
+      - '**/*'
       - '!sidecars/**'
   push:
     paths:
-      - '.github/workflows/happy-path.yaml'
+      - '**/*'
       - '!sidecars/**'
 
 jobs:

diff --git a/che-editors.yaml b/che-editors.yaml
@@ -77,6 +77,8 @@ editors:
         volumeMounts:
           - name: plugins
             path: "/plugins"
+          - name: theia-local
+            path: "/home/theia/.theia"
         mountSources: true
         ports:
           - exposedPort: 3100
@@ -176,6 +178,8 @@ editors:
         volumeMounts:
           - name: plugins
             path: "/plugins"
+          - name: theia-local
+            path: "/home/theia/.theia"
         mountSources: true
         ports:
           - exposedPort: 3100