Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface WorkspaceRoot

A workspace root is a directory that has been added to a workspace. A workspace can have zero or more roots. Often, each root is the root directory of a repository.

Hierarchy

  • WorkspaceRoot

Index

Properties

Properties

uri

uri: URL

The URI of the root.

todo

The format of this URI will be changed in the future. It must not be relied on.

example

git://github.com/sourcegraph/sourcegraph?sha#mydir1/mydir2

Generated using TypeDoc