• Raspi Pico: C-API in /home?

    From F. W.@3:770/3 to All on Wed Aug 4 08:14:33 2021
    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?

    Thanx

    FW
    --- SoupGate-Win32 v1.05
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)
  • From F. W.@3:770/3 to All on Wed Aug 4 09:17:33 2021
    Am 04.08.2021 um 08:54 schrieb A. Dumas:
    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.)

    Pi 400. I will try again and I thank you!

    FW
    --- SoupGate-Win32 v1.05
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)
  • From A. Dumas@3:770/3 to F. W. on Wed Aug 4 08:54:56 2021
    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)
  • From Theo@3:770/3 to F. W. on Wed Aug 4 15:21:21 2021
    F. W. <me@home.com> wrote:
    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?

    You didn't do 'apt-get source' by any chance?

    That's only for when you want to build a package yourself from source, not
    for when you want to install the package.

    Theo
    --- SoupGate-Win32 v1.05
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)
  • From Knute Johnson@3:770/3 to F. W. on Wed Aug 4 16:36:21 2021
    On 8/4/21 1:14 AM, F. W. wrote:
    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?

    Thanx

    FW

    Is the pico directory in /home? I have my SDK in /home/pi/pico. It
    works fine from there. I have all my pico code projects in /home/pi/bin/project_name. You just need to include
    pico_sdk_import.cmake in the directory where your project lives.

    I like this better because I keep all code and executables in one
    directory for each project and don't have to go looking for them.

    knute...
    --- SoupGate-Win32 v1.05
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)
  • From Martin Gregorie@3:770/3 to Knute Johnson on Wed Aug 4 23:32:55 2021
    On Wed, 04 Aug 2021 16:36:21 -0500, Knute Johnson wrote:

    Is the pico directory in /home? I have my SDK in /home/pi/pico. It
    works fine from there. I have all my pico code projects in /home/pi/bin/project_name. You just need to include
    pico_sdk_import.cmake in the directory where your project lives.

    I like this better because I keep all code and executables in one
    directory for each project and don't have to go looking for them.

    I do essentially the same except that my bigger projects are in /home/project_login

    and small ones (e.g. a single program) are in
    /home/my_usual_login/project name

    and, when ready to use:
    - executables go in /usr/local/bin
    - manpages go in /usr/local/man
    - global config files, if any, are held in /usr/local/etc

    ... and these days each project uses git, with the master git repository
    on my house server. I used to use CVS, but I've now switched over to git
    for all my projects.


    --
    --
    Martin | martin at
    Gregorie | gregorie dot org
    --- SoupGate-Win32 v1.05
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)