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

Update docker environment for code-server(DON'T MERGE!!!) #500

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

Haibarapink
Copy link

Problem:
Docker环境中添加了clangd和lldb两个软件,方便使用vscode中clangd和codelldb插件。

What is changed and how it works?

使用apt-get下载。

@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
0 out of 2 committers have signed the CLA.

❌ Ping Xu
❌ Haibarapink


Ping Xu seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
You have signed the CLA already but the status is still pending? Let us recheck it.

RUN git clone https://github.com/oceanbase/miniob /tmp/miniob || \
git clone https://githubfast.com/oceanbase/miniob /tmp/miniob \
# install clangd
RUN apt-get install -y clangd
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are there any other actions needed after apt-get install to install and configure plugins in vscode?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No, because of network reasons, there will be problems when installing the software with the plug-in, so just need to install the software in advance.

@nautaa nautaa changed the title Update docker environment for code-server Update docker environment for code-server(DON'T MERGE!!!) Jan 18, 2025
@nautaa
Copy link
Member

nautaa commented Jan 18, 2025

This PR is used to solve problems in special scenarios (online IDE used by cloudlab), so it doesn't fit into master for now.

@hnwyllmm hnwyllmm marked this pull request as draft January 22, 2025 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants