How to get a Libre distro from Devuan

No replies
Narcis Garcia
Joined: 04/15/2019

Taken from

-------- Missatge reenviat --------
Assumpte: Re: [DNG] Future of gNewSense: Debian or Devuan?
Data: Fri, 9 Aug 2019 20:50:18 +0000
De: aitor_czr
A: dng

On 1/8/19 17:45, fsmithred via Dng wrote:
> There's not really anything to yank out. Don't have a non-free repo
> and don't put non-free firmware on the installer isos. They probably
> also want to use a libre kernel. This is not a difficult task, and
> gnuinos already does this.

You already have a repository available for this task:

deb main
deb-src main

deb -updates main
deb-src -updates main

deb -security main
deb-src -security main

being jessie, ascii or beowulf. Just add the gpg key of gnuinos:

|$ curl -L | sudo apt-key add -|

|and update the repository.|


> If devuan ever provides a free/libre repo and release, it will be in
> addition to the one that provides non-free firmware for the same
> reasons you state below. This is something that's been discussed at
> meetings several times, and I think we're all in agreement.

On the other hand, the official kernel of debian has been removed from
the repository of gnuinos and replaced by linux-libre.
If you want to build your own repository, you will need to patch both
reprepro and amprolla in order to use them together (in the concrete
case of gnuinos, because you can find also your own way).