From 5d1fa4702db5ec0d9f87e0beb9d2160c36746a17 Mon Sep 17 00:00:00 2001 From: jtagcat Date: Fri, 28 Jan 2022 14:56:00 +0000 Subject: [PATCH] install: add a note of a mirror (#53) * install: add a note of a mirror * install: format mirror notice better --- _posts/2000-01-05-install.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/_posts/2000-01-05-install.md b/_posts/2000-01-05-install.md index ea61f17..520dfa3 100644 --- a/_posts/2000-01-05-install.md +++ b/_posts/2000-01-05-install.md @@ -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