Theia API Documentation v1.72.1
    Preparing search index...
    • Returns true for bind mounts that are not injected by HostConfigSharingContribution (SSH dir, gitconfig). Shared by inferWorkspacePath and getWorkspaceMounts to keep the filtering logic in one place.

      Parameters

      • mount: {
            Destination: string;
            Driver?: string;
            Mode: string;
            Name?: string;
            Propagation: string;
            RW: boolean;
            Source: string;
            Type: "volume" | "bind" | "image" | "tmpfs" | "npipe" | "cluster";
        }

      Returns boolean