JetBrains server starts without loading user's bashrc

[huweiATgithub]

Objective

I ran into an issue when using PyCharm with the workspace-full.
The server-ide started without the initialization steps defined in .bashrc.

Description and how to reproduce

• Launch any workspace with PyCharm and workspace-full image.

• Create a python script and run it using PyCharm's run configuration.

  import subprocess
  import os
  
  path_available_to_jb = os.getenv("PATH").split(":")
  print(list(p for p in path_available_to_jb if "java" in p))
  print(subprocess.check_output(['java', "--help"]))

• Get outputs: empty list for the first print and FileNotFoundError for the subprocess.check_output
  

• Navigate to a terminal to print the PATH
  

Reasons?

Workspace-full install java by sdkman.
As we can see, it makes java available using sdkman's initialization script which is sourced by .bashrc. (.profile also source .bashrc)

How Gitpod adds IDE layers to the user's image and how the server-side ide is launched is not well documented.

I guess the JB server started neither sourcing $HOME/.bashrc nor $HOME/.profile. (non-interactive and non-login?)

Workarounds

One might add the java path into PATH by docker ENV instruction.

However, it might be common that users having some of their initialization in the .bashrc. I don't know if starting the JB server-ide in a well-prepared shell (bash -i or bash -l?) is a good idea.