Skip to content

Update code-server and init mamba for GUI shells

Christof Kaufmannrequested to merge
development into master
  • update code-server to 4.99.3
  • GUI shells do not source any /etc/profile.d/* files, but we like to init mamba also for GUI shells. So we also add initialization to /etc/bash.bashrc. Note: GUI shells are not considered as interactive.

Merge request reports

Impressum Datenschutzerklärung