From 2476e418860733b68062b71e8004284e0dd5c698 Mon Sep 17 00:00:00 2001 From: Joe Previte Date: Thu, 3 Nov 2022 14:48:37 -0700 Subject: [PATCH] chore: refresh logout patch --- patches/logout.diff | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/patches/logout.diff b/patches/logout.diff index 01eddce29..ff47ebd34 100644 --- a/patches/logout.diff +++ b/patches/logout.diff @@ -21,7 +21,7 @@ Index: code-server/lib/vscode/src/vs/server/node/serverEnvironmentService.ts --- code-server.orig/lib/vscode/src/vs/server/node/serverEnvironmentService.ts +++ code-server/lib/vscode/src/vs/server/node/serverEnvironmentService.ts @@ -13,6 +13,7 @@ import { IEnvironmentService, INativeEnv - export const serverOptions: OptionDescriptions = { + export const serverOptions: OptionDescriptions> = { /* ----- code-server ----- */ 'disable-update-check': { type: 'boolean' }, + 'auth': { type: 'string' },