search

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
20.11k stars 2.5k forks source link

Wrong terminal in dev containers #14293

Open sgraband opened 1 month ago

sgraband commented 1 month ago

Bug Description:

When opening a development container, the terminal that is opened defaults to a simple sh shell rather than the user's configured default terminal (such as bash, zsh, etc.), which is the case in a normal workspace. This behavior is inconsistent and can cause confusion, as users might expect the same terminal configuration in both normal workspaces and development containers.

Steps to Reproduce:

  1. Open a normal workspace and observe that the terminal uses the user's default shell (e.g., bash, zsh).
  2. Open the same workspace as a development container.
  3. Observe that the terminal defaults to sh instead of the user's default terminal.

Expected Behavior:

The terminal in a development container should respect the user's default shell, just as it does in a normal workspace.

Additional Information:

jonah-iden commented 4 days ago

This should probably be fixed through https://github.com/eclipse-theia/theia/pull/14548 as well