Upload 3 files
Browse files
rust-code-server-copy/Dockerfile
ADDED
|
@@ -0,0 +1,25 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
FROM python:3.9
|
| 2 |
+
|
| 3 |
+
RUN apt update -y && apt install -y curl
|
| 4 |
+
RUN curl -fsSL https://code-server.dev/install.sh | sh
|
| 5 |
+
|
| 6 |
+
RUN apt install -y \
|
| 7 |
+
git gcc wget gzip busybox sudo ffmpeg 7z go rustup golang
|
| 8 |
+
|
| 9 |
+
RUN useradd user
|
| 10 |
+
RUN mkdir /home/user
|
| 11 |
+
RUN chown user /home/user
|
| 12 |
+
|
| 13 |
+
USER user
|
| 14 |
+
COPY setup.sh /home/user/setup.sh
|
| 15 |
+
RUN bash /home/user/setup.sh
|
| 16 |
+
|
| 17 |
+
|
| 18 |
+
USER root
|
| 19 |
+
|
| 20 |
+
RUN busybox --install /bin
|
| 21 |
+
|
| 22 |
+
RUN chsh -s bash
|
| 23 |
+
|
| 24 |
+
USER root
|
| 25 |
+
CMD bash -c "code-server --bind-addr 0.0.0.0:6378 --auth none"
|
rust-code-server-copy/README.md
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
title: Rust Code Server
|
| 3 |
+
emoji: 🐨
|
| 4 |
+
colorFrom: red
|
| 5 |
+
colorTo: indigo
|
| 6 |
+
sdk: docker
|
| 7 |
+
pinned: false
|
| 8 |
+
app_port: 6378
|
| 9 |
+
---
|
| 10 |
+
|
| 11 |
+
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
|
rust-code-server-copy/setup.sh
ADDED
|
@@ -0,0 +1,12 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
code-server --install-extension rust-lang.rust-analyzer
|
| 2 |
+
code-server --install-extension ms-vscode.atom-keymap
|
| 3 |
+
code-server --install-extension emroussel.atomize
|
| 4 |
+
code-server --install-extension pkief.material-icon-theme
|
| 5 |
+
code-server --install-extension tamasfe.even-better-toml
|
| 6 |
+
|
| 7 |
+
curl -L https://sh.rustup.rs | sh
|
| 8 |
+
curl -L https://bun.sh/install | bash
|
| 9 |
+
curl -L https://get.wasmer.io | bash
|
| 10 |
+
|
| 11 |
+
echo ". ~/.profile" > /home/user/.bashrc
|
| 12 |
+
echo "PS1='\W\\$ '" > /home/user/.bashrc
|