pop-os / default-settings

Distribution Default Settings
Other
44 stars 16 forks source link

WIP: switch to apt.pop-os.org for Ubuntu packages #92

Closed jackpot51 closed 3 years ago

jackpot51 commented 4 years ago

This will swap the Ubuntu sources to apt.pop-os.org. Can be tested on focal which the partial mirror is syncing. This will be a draft until a full mirror is created

jackpot51 commented 4 years ago

This is a big change not in terms of code but in terms of responsibility. I'd like everyone in @pop-os/engineering and @pop-os/quality-assurance to help test it for a while

jackpot51 commented 4 years ago

Also, we need to identify packages in the PPA that were manually copied or uploaded, and create repos for them

jackpot51 commented 4 years ago

Keep an eye out for packages that were installed from the PPA and are installed from Ubuntu after this change.

isantop commented 4 years ago

We will also need to modify things to ensure that software properties adds the correct sources. Otherwise toggling options in repoman will simply revert users back to the old repos.

isantop commented 4 years ago

If any components or suites have been toggled/added/modified by SoftwareProperties (including via Repoman, software-properties-gtk, or add-apt-repository), then the sources will have been modified from us.archive.ubuntu.com as follows:

jackpot51 commented 3 years ago

This is being done in #118 now