Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
AptTool: add repo key before running apt-add-repository (#8861)
In Ubuntu 20.04 (and maybe earlier), the behavior of apt-add-repository 'deb https://example.com/repo example main' is to add the named repository to apt's sources *and* to update the package index. If the new repository's package key is not already in apt's keyring, this will fail. It is possible to change this behavior by running apt-add-repository -n, but adding the key before running apt-add-repository also works, doesn't require new command-line switches, and should be backwards-compatible with apt-add-repository versions that might not behave as described above.
- Loading branch information