Description

Updates our terminal integration to be a little more clever about injections. Introduces aShellIntegration enum, which contains functions for setting up a pseudo terminal for supported shells.

Introduces a method for each shell for injecting our pre/post exec handlers:

• zsh
  • Creates a temporary directory for the user and moves all our.zsh injection files into that temp folder.
  • Each.zsh injection file is an override for zsh's real init files (.zprofile,.zshenv,.zshrc,.zlogin).
  • Before initiating the terminal, we grab the user'szdotdir env variable and store it, replacing it with our own pointing to the temporary directory.
  • In each of CodeEdit's injected.zshX files, we source the user's real zsh init files exactly how zsh does it.
  • Then, in.zshrc, we do our injection code.
• bash
  • We make use of the--init-file parameter for bash. Creating a new, interactive session using our own init file.
  • This init file also emulates exactly what bash would do upon init, sourcing the user's profile or.bashrc depending on if the session is a login session.
  • After initializing the session with the correct information, we install our pre/post exec functions.

These borrow some MIT-licensed code from VSCode and are documented as such, with permalinks to the source files.

Finally, because we're doing this at runtime we can allow users to opt-out of the injection mechanism in settings.

Related Issues

• closes✨ Stop editing users zsh file in order to set the terminal tab title #1640

Checklist

• I read and understood thecontributing guide as well as thecode of conduct
• The issues this PR addresses are related to each other
• My changes generate no new warnings
• My code builds and runs on my machine
• My changes are all related to the related issue above
• I documented my code

Screenshots

Before (zsh example):

After: init files still being sourced, not modifying the user's init files, and terminal titles still working.

Zsh:

Bash: