Christoph, On 12/20/21 9:40 AM, Christoph Kukulies wrote:
Any clues how I can get rid of this?
A simple Google search for "remove ppa repository ubuntu" gave me this: https://askubuntu.com/a/310/27683
1. Use the --remove flag, similar to how the PPA was added: sudo add-apt-repository --remove ppa:whatever/ppa
Best regards Tim Düsterhus
