diff --git a/src/vs/platform/remote/common/remoteAgentEnvironment.ts b/src/vs/platform/remote/common/remoteAgentEnvironment.ts index e8affc963ef647e30ac813dd964dfc4229212c84..c1815d801f31e8b4641c90fee2c3809bdf9518a8 100644 --- a/src/vs/platform/remote/common/remoteAgentEnvironment.ts +++ b/src/vs/platform/remote/common/remoteAgentEnvironment.ts @@ -19,7 +19,6 @@ export interface IRemoteAgentEnvironment { userHome: URI; extensions: IExtensionDescription[]; os: OperatingSystem; - syncExtensions: boolean; } export interface RemoteAgentConnectionContext { diff --git a/src/vs/workbench/services/remote/common/remoteAgentEnvironmentChannel.ts b/src/vs/workbench/services/remote/common/remoteAgentEnvironmentChannel.ts index a4c2d0e79325af31ce41ead4fc715e347e19beb0..d606963a9c40f0b2e7cf9dfaa586ced0cdf56bea 100644 --- a/src/vs/workbench/services/remote/common/remoteAgentEnvironmentChannel.ts +++ b/src/vs/workbench/services/remote/common/remoteAgentEnvironmentChannel.ts @@ -28,7 +28,6 @@ export interface IRemoteAgentEnvironmentDTO { userHome: UriComponents; extensions: IExtensionDescription[]; os: platform.OperatingSystem; - syncExtensions: boolean; } export class RemoteExtensionEnvironmentChannelClient { @@ -54,8 +53,7 @@ export class RemoteExtensionEnvironmentChannelClient { globalStorageHome: URI.revive(data.globalStorageHome), userHome: URI.revive(data.userHome), extensions: data.extensions.map(ext => { (ext).extensionLocation = URI.revive(ext.extensionLocation); return ext; }), - os: data.os, - syncExtensions: data.syncExtensions + os: data.os }; }); }