From 3d9267ecce7a7f6ec9df87f0d62d037446619c39 Mon Sep 17 00:00:00 2001 From: Donnie Adams Date: Sun, 20 Oct 2024 10:49:33 -0400 Subject: [PATCH] feat: pass the workspace tool as a global option to the SDK server Signed-off-by: Donnie Adams --- opts.go | 3 +++ 1 file changed, 3 insertions(+) diff --git a/opts.go b/opts.go index 14a9c83..e08d217 100644 --- a/opts.go +++ b/opts.go @@ -29,6 +29,9 @@ func (g GlobalOptions) toEnv() []string { if g.DefaultModelProvider != "" { args = append(args, "GPTSCRIPT_SDKSERVER_DEFAULT_MODEL_PROVIDER="+g.DefaultModelProvider) } + if g.WorkspaceTool != "" { + args = append(args, "GPTSCRIPT_SDKSERVER_WORKSPACE_TOOL="+g.WorkspaceTool) + } return args }