diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile index 0e82dae8b4942..6eee5eb93bf9f 100644 --- a/.gitpod.dockerfile +++ b/.gitpod.dockerfile @@ -11,6 +11,8 @@ RUN sudo apt-get update \ && sudo apt-get install -y libgtk-3-0 libnss3 libasound2 \ # native-keymap && sudo apt-get install -y libx11-dev libxkbfile-dev \ + # keytar + && sudo apt-get install -y libsecret-1-dev \ && sudo rm -rf /var/lib/apt/lists/* # Pin Node.js to v10. diff --git a/examples/browser/package.json b/examples/browser/package.json index b583fa6a2629c..03bd69f2cfd36 100644 --- a/examples/browser/package.json +++ b/examples/browser/package.json @@ -52,7 +52,8 @@ "@theia/userstorage": "^1.0.0", "@theia/variable-resolver": "^1.0.0", "@theia/vsx-registry": "^1.0.0", - "@theia/workspace": "^1.0.0" + "@theia/workspace": "^1.0.0", + "keytar": "latest" }, "scripts": { "prepare": "yarn run clean && yarn build",