Re: [Trisquel-users] How to find out your laptop's name with bash

[mikko . viinamaki]

It's hilarious but apparently there is no way to do this. I'd say go with
cat /sys/class/dmi/id/{sys_vendor,product_name}

which is equal to the original command AFAIK sans sudo. And then throw in a  
disclaimer it might be bogus.