diff options
Diffstat (limited to 'build/gulpfile.reh.js')
| -rw-r--r-- | build/gulpfile.reh.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/gulpfile.reh.js b/build/gulpfile.reh.js index a44941a1e73..2660920d752 100644 --- a/build/gulpfile.reh.js +++ b/build/gulpfile.reh.js @@ -78,6 +78,8 @@ const serverResources = [ // Terminal shell integration 'out-build/vs/workbench/contrib/terminal/browser/media/shellIntegration.ps1', 'out-build/vs/workbench/contrib/terminal/browser/media/shellIntegration-bash.sh', + 'out-build/vs/workbench/contrib/terminal/browser/media/shellIntegration-env.zsh', + 'out-build/vs/workbench/contrib/terminal/browser/media/shellIntegration-profile.zsh', 'out-build/vs/workbench/contrib/terminal/browser/media/shellIntegration.zsh', '!**/test/**' |