Commits on Apr 24, 2021

1. AptTool: add repo key before running apt-add-repository …

   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.

   

   hannahwhy committed Apr 24, 2021
   Copy the full SHA

   73533a8 View commit details

   Browse the repository at this point in the history