Hello Adrianna,
thank you for your reply! You are right, `sudo apt-key list` shows the PPA key on an Ubuntu system.
I am trying to use the PPA on a Raspberry Pi (which has a Debian-based OS).
I could get the `add-apt-repository` command by installing the `software-properties-common` package. Unfortunately, `sudo add-apt-repository ppa:elaunch/ppa` still adds only the APT source, but not the key. `sudo apt update` prints the error `NO_PUBKEY D80E587E7E12369C`.
So, as a workaround, I note down the key ID from the error message and use the following script to install the PPA key and source:
```
curl 'https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xD80E587E7E12369C' | gpg --dearmor | sudo tee /usr/share/keyrings/elaunch-ppa-focal.gpg > /dev/null
echo 'deb [signed-by=/usr/share/keyrings/elaunch-ppa-focal.gpg] https://ppa.launchpadcontent.net/elaunch/ppa/ubuntu focal main' | sudo tee /etc/apt/sources.list.d/elaunch-ppa-focal.list > /dev/null
```
I think also for security there should be a way to check the correct key ID in the Launchpad web interface to prevent MITM attacks.
Launchpad developers, can you please show the PPA key in the web interface?
Hello Adrianna,
thank you for your reply! You are right, `sudo apt-key list` shows the PPA key on an Ubuntu system.
I am trying to use the PPA on a Raspberry Pi (which has a Debian-based OS). repository` command by installing the `software- properties- common` package. Unfortunately, `sudo add-apt-repository ppa:elaunch/ppa` still adds only the APT source, but not the key. `sudo apt update` prints the error `NO_PUBKEY D80E587E7E12369C`.
I could get the `add-apt-
So, as a workaround, I note down the key ID from the error message and use the following script to install the PPA key and source: /keyserver. ubuntu. com/pks/ lookup? op=get& search= 0xD80E587E7E123 69C' | gpg --dearmor | sudo tee /usr/share/ keyrings/ elaunch- ppa-focal. gpg > /dev/null by=/usr/ share/keyrings/ elaunch- ppa-focal. gpg] https:/ /ppa.launchpadc ontent. net/elaunch/ ppa/ubuntu focal main' | sudo tee /etc/apt/ sources. list.d/ elaunch- ppa-focal. list > /dev/null
```
curl 'https:/
echo 'deb [signed-
```
I think also for security there should be a way to check the correct key ID in the Launchpad web interface to prevent MITM attacks.
Launchpad developers, can you please show the PPA key in the web interface?