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

Create an Ubuntu version of workspaces/xtermjs #9798

Open
jonatanschroeder opened this issue May 1, 2024 · 0 comments
Open

Create an Ubuntu version of workspaces/xtermjs #9798

jonatanschroeder opened this issue May 1, 2024 · 0 comments

Comments

@jonatanschroeder
Copy link
Member

Given that the Desktop workspace and C/Java graders (as well as the new vscode workspace) are all using Ubuntu, I think it makes sense to migrate the xtermjs workspace to Ubuntu as well, or at least to create a new xtermjs-ubuntu image. It would also make sense to take that upgrade as a chance to add a few basic commands that are not included in this image, such as manpages, less, git, a more user-friendly text editor (e.g., nano), and basic compilers/environments like python and gcc/clang/valgrind.

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

No branches or pull requests

1 participant