Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Add volume for Theia data directory of the current user #191

Merged
merged 1 commit into from
Apr 25, 2019

Conversation

mmorhun
Copy link
Contributor

@mmorhun mmorhun commented Apr 24, 2019

What does this PR do?

Adds volume to persist global data of Theia, which includes (for all plugins):

  • global state
  • workspace state
  • data directory
  • Theia workspaces configuration (unless user defines another location for it)

What issues does this PR fix or reference?

eclipse-che/che#12260

Signed-off-by: Mykola Morhun <mmorhun@redhat.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants