F. W. wrote on 04-08-2021 at 08:14:
Good morning,
after APT-GET the Raspberry Pico API all C-Headers are installed in
/home. Did I make a mistake oder is it a repeatable error?
On what system, with what command exactly? Not repeated here on RaspiOS
32-bit with "sudo apt update && sudo apt -y full-update". And really,
directly in the /home/ directory, not even a subdirectory? That's
strange. My /etc/apt/sources.list is standard:
$ cat /etc/apt/sources.list
deb
http://raspbian.raspberrypi.org/raspbian/ buster main contrib
non-free rpi
# Uncomment line below then 'apt-get update' to enable 'apt-get source' #deb-src
http://raspbian.raspberrypi.org/raspbian/ buster main contrib
non-free rpi
And two more in sources.list.d:
$ cat /etc/apt/sources.list.d/raspi.list
deb
http://archive.raspberrypi.org/debian/ buster main
# Uncomment line below then 'apt-get update' to enable 'apt-get source' #deb-src
http://archive.raspberrypi.org/debian/ buster main
$ cat /etc/apt/sources.list.d/vscode.list
### Disabled by raspberrypi-sys-mods ###
(Not sure where that vscode repo went; it is still kept up to date, so
maybe it's in the main repo now.)
--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)