dear Attila,
apologies for overlooking your message back in september, On Wed, 12 Oct 2016, Attila Soki wrote: > see my message from 2.Sept, > https://lists.dyne.org/lurker/message/20160902.080447.f4e2b3e2.en.html > > citation: > "Vagrant has already a configuration option where the guest os can > be set when the auto-detection fails. > > https://devuan.org/os/documentation/install-on-a-virtual-machine > config.vm.guest = :debian > > 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 ?“ cheers the correct way is to read /etc/os-release in there there is a line: NAME="Devuan GNU/Linux" if grepping, I recommend using a wildcard for the slash, as in future it may switch to our official notation "GNU+Linux" for example using the line: . /etc/os-release && echo $NAME | grep 'Devuan GNU.Linux' thanks for your help on this one! ciao _______________________________________________ Dng mailing list [email protected] https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
