:: Re: [DNG] vagrant and devuan guest
Top Page
Delete this message
Reply to this message
Author: Fred DC
Date:  
To: dng
Subject: Re: [DNG] vagrant and devuan guest
On 02/09/2016 10:04, Attila Soki wrote:
> ...
> Of course a devuan plugin would make all this unnecessary.
> But before i can file a bug, or maybe create a devuan plugin, i must
> know which is the preferred way to identify devuan.
> grepping /etc/issues
> or
> grepping /etc/os-release
> or
> ?


This is not the answer to your question but in Devuan-Ascii:

xxx:~$ cat /etc/issue
Devuan GNU/Linux ascii/ceres \n \l

xxx:~$ cat /etc/os-release
PRETTY_NAME="Devuan GNU/Linux ascii/ceres"
NAME="Devuan GNU/Linux"
ID=devuan
HOME_URL="http://www.devuan.org/"
SUPPORT_URL="http://www.devuan.org/support/"
BUG_REPORT_URL="https://bugs.devuan.org/"

Maybe in a new install of Devuan-Jessie it is already sorted out.

Fred