On Sun, Jan 21, 2018 at 07:58:21AM +0100, J. Fahrner wrote: > Am 2018-01-20 23:27, schrieb Hendrik Boom: > >>deb http://mirrordirector.raspbian.org/raspbian/ jessie rpi > >>deb http://auto.mirror.devuan.org/merged jessie main contrib > >>non-free > >>deb http://auto.mirror.devuan.org/merged jessie-updates main contrib > >>non-free > >>deb http://auto.mirror.devuan.org/merged jessie-security main contrib > >>non-free > > > >So you end up with *both* the devuan sources and a raspbian one? > > From the raspbian packages you only pull "rpi", not main, contrib, or > non-free. rpi contains the specific packages for the Raspberry PI, kernel, > bootloader, firmware and so on.
Now I get to wonder which Debian release the current Raspbian is based on, so I can guess which Devuan release to migrate to. And it's probably a good idea to have a few extra microsd cards to play with in case things go wrong. -- hendrik > _______________________________________________ > Dng mailing list > [email protected] > https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng _______________________________________________ Dng mailing list [email protected] https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
