Code

Extra extensions directories#694

Code

Merged

code-asher merged 5 commits intomastercoder/code-server:masterfrom

feature/extra-extensions-directoriescoder/code-server:feature/extra-extensions-directoriesCopy head branch name to clipboard

May 19, 2019

Commits

Commits on May 19, 2019

• Allow setting paths for builtin exts and extra dirs

  Show description for 4296e2f
  code-asher

  committed
  4296e2f

  Copy full SHA for 4296e2f

• Utilize extra builtin extensions path

  code-asher

  committed
  ae3bd78

  Copy full SHA for ae3bd78

• Utilize extra extensions directory

  code-asher

  committed
  3d784d7

  Copy full SHA for 3d784d7

• Fix cached mtimes for extra extension dirs

  code-asher

  committed
  f437287

  Copy full SHA for f437287

• Simplify extension cache equality check

  code-asher

  committed
  f72b43f

  Copy full SHA for f72b43f