Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Can't open audio files from relative paths in terminal #13452

Open
Lythenas opened this issue Mar 5, 2024 · 0 comments
Open

Can't open audio files from relative paths in terminal #13452

Lythenas opened this issue Mar 5, 2024 · 0 comments
Labels
terminal issues related to the terminal

Comments

@Lythenas
Copy link
Contributor

Lythenas commented Mar 5, 2024

Bug Description:

Opening an audio file from the terminal with a relative link breaks the audio player.

Steps to Reproduce:

  1. Place an audio file in the root of the workspace (e.g. out.mp3)
  2. Open the audio file through the file explorer => shows the audio player and you can listen to the file
  3. In a terminal execute e.g. ls -dl ./out.mp3 and ctrl+click on the audio file (e.g. ./out.mp3) => shows error (see screenshot)

Opening the file from the file explorer and from the terminal also create two different tabs (even though it is the same file). This does not happen for any other file I tried.

Opening from the terminal shows this error:
image

Also note the leading . in the file path. This is not shown when opening the file from the file explorer. And it is also not shown for any other file type I tried.

In the browser I can see the following error when opening the audio file from the terminal:

GET https://XXXX:63712/webview/theia-resource/file///home/XXX/workspace/out.mp3?version%3D1709623218793 net::ERR_ABORTED 404 (Not Found)

When opening the audio file from the file explorer I can see the exact same request (except different version) in the network tab, but there it succeeds.

Opening the file with an absolute path from the terminal works and also jumps to the same tab opened by the file explorer.

Note that I'm not sure where the audio player comes from but it's not from a theia extension and I don't think it is from a third party VS Code plugin. So I think it is either provided by theia or maybe the VS Code builtin extension pack.

Additional Information

  • Operating System: Ubuntu 18.04 (running in docker)
  • Theia Version: 1.43.1 (also reproduced the issue in 1.47.0) running in the browser
@tsmaeder tsmaeder added the terminal issues related to the terminal label Mar 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
terminal issues related to the terminal
Projects
None yet
Development

No branches or pull requests

2 participants