Skip to content

Use extrepo to add Debian repo#48

Closed
Tachi107 wants to merge 1 commit intoVSCodium:masterfrom
Tachi107:patch-1
Closed

Use extrepo to add Debian repo#48
Tachi107 wants to merge 1 commit intoVSCodium:masterfrom
Tachi107:patch-1

Conversation

@Tachi107
Copy link
Copy Markdown

extrepo is a package that contains a curated list of third-party Debian repos. It simplifies adding third party repositories, and it does that in a secure manner.

`extrepo` is a package that contains a curated list of third-party Debian repos. It simplifies adding third party repositories, and it does that in a secure manner.
@Tachi107
Copy link
Copy Markdown
Author

I only have a Debian system, so I can't know for sure if extrepo also works on Ubuntu. It should, since it is packaged by them, but it should be better to test it (I'll use a vm as soon as possible)

@Tachi107
Copy link
Copy Markdown
Author

I confirm that everything works fine even on Ubuntu 20.04 :)

@stripedpajamas
Copy link
Copy Markdown
Member

I'd rather not introduce extrepo to our install instructions.

@Tachi107 Tachi107 deleted the patch-1 branch December 20, 2021 06:43
@Tachi107
Copy link
Copy Markdown
Author

Why? Did you ever had issues with it? (I'd like to hear some feedback so that I can report it upstream, I believe that manually adding random repos is really insecure and a bad habit, and tools like extrepo are the only way to do the same task more cleanly and securely)

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.

2 participants