On Wed, 20 Jul 2022 at 01:26, Christian Britz <cbr...@t-online.de> wrote: > Am 19.07.22 um 17:16 schrieb Nicolas George: > > Christian Britz (12022-07-19):
> >> The common way to install Debian on a Raspberry Pi is using one of the > >> images provided at raspi.debian.net. Once you got it installed, it is a > >> Debian system like others using the standard repositories. > > > > IIRC, debian.net is third-party. Since Debian says it supports this > > hardware, I would really like to avoid using third-party files. > > I would call it semi-official. Gunnar Wolf is a respected Debian > developer and the debian.net domain is a property of the project. I > would prefer an official-official installer though. This was briefly touched on during a livestreamed discussion between the relevant Debian developers at Debconf less than 24 hours ago. I think it was this one: https://debconf22.debconf.org/talks/44-debian-installer-and-images-team-bof/ I think it is usual practice for this kind of video to become available for viewing on demand in the near future. My recollection of the discussion is that Gunnar's work is welcomed by the installer team. And it is hoped and expected by all parties to move towards becoming official as a next step with the passage of time. However this move is not an immediate priority, as there are other changes under discussion regarding the installer, that are currently considered to be more important.