VSCodium/vscodium.github.io
1
0
Fork 0
mirror of https://github.com/VSCodium/vscodium.github.io.git synced 2025-12-11 05:45:48 -06:00
Code Issues 8 Packages Projects Releases Wiki Activity

install: add a note of a mirror (#53)

Browse Source 
* install: add a note of a mirror

* install: format mirror notice better
This commit is contained in:
jtagcat 2022-01-28 14:56:00 +00:00 committed by GitHub
parent 7b139889b0
commit 5d1fa4702d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
_posts/2000-01-05-install.md
View File

@ -74,6 +74,9 @@ sudo apt update && sudo apt install codium
[@paulcarroty](https://github.com/paulcarroty) has set up a [repository](https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo) for VSCodium. The instructions below are adapted from there. Any issues installing VSCodium using your package manager should be directed to that repository's issue tracker.
[@jtagcat](https://github.com/jtagcat) found that updating `codium` took over fifteen minutes, sometimes timing out, so they set up an hourly [mirror](https://vscodium.c7.ee) of [@paulcarroty](https://github.com/paulcarroty)'s repository ([Gitlab Pages](https://docs.gitlab.com/ee/user/project/pages/)).
To use the mirror, you may replace `paulcarroty.gitlab.io/vscodium-deb-rpm-repo` with `vscodium.c7.ee` (URLs with `/rpms`/`/debs`).
#### Debian / Ubuntu (deb package):
Add the GPG key of the repository:
```bash