[Dorset] Redistributing binary firmware with a custom live disk

2019-03-14 Thread Hamish MB
Hi all, For a custom live disk I'm making for Disk Verifier (commercial program I showed some of you before at the pub), I need to ship some proprietary display drivers (eg amdgpu). All of the ones I've looked at allow redistribution (under some other terms I can comply with eg not

Re: [Dorset] Redistributing binary firmware with a custom live disk

2019-03-14 Thread Ralph Corderoy
Hi Hamish, > For a custom live disk I'm making for Disk Verifier (commercial > program I showed some of you before at the pub), I need to ship some > proprietary display drivers (eg amdgpu). All of the ones I've looked > at allow redistribution (under some other terms I can comply with eg > not

Re: [Dorset] Redistributing binary firmware with a custom live disk

2019-03-14 Thread Patrick Wigmore
Hi Hamish, On Thu, 14 Mar 2019 10:04:55 +, Hamish MB wrote: > I am unsure how to license the final disk image, or what license > statement to use if any - most of the software is GPL. If the disk image is to contain software with incompatible licenses, then clearly you cannot use one license

Re: [Dorset] Micro:Bit

2019-03-14 Thread PeterMerchant via dorset
On 13/03/2019 17:39, Paul Tansom wrote: ** Ralph Corderoy [2019-03-10 14:46]: Hi Terry, I commented that it was a shame that the Government / BBC hadn't chosen the Raspberry Pi, since it already had a strong community. I think two things counted against the Pi back then. It's price, though

Re: [Dorset] Slightly Off-Topic - Reasonable Miniature HDMI Monitor

2019-03-14 Thread Terry Coles
On Wednesday, 13 March 2019 16:25:10 GMT Terry Coles wrote: > So the only thing left is to turn off getty. I had a rummage around on line > and found lots of old pages that talked about disabling it in initab, which > no longer exists on Raspbian Stretch. I then found references to issuing: I

[Dorset] How can I list all installed packages from a particular origin (debian)

2019-03-14 Thread Hamish MB
Hi all, I was wondering if any of you had found a good way to list all installed packages from a particular source (eg the "restricted" component) on Debian-based systems? Basically I want to do this so I can programmatically check exactly which non-OSS packages are installed w/o there being

Re: [Dorset] Slightly Off-Topic - Reasonable Miniature HDMI Monitor

2019-03-14 Thread Patrick Wigmore
Hi Terry, On Thu, 14 Mar 2019 13:27:44 +, Terry Coles wrote: > However, this morning I realised that the thing I hadn't tried was > to create a program to run automatically on boot up of the Pi, run > minicom and then and login in the normal way. Lo and behold, > there was my executing

Re: [Dorset] How can I list all installed packages from a particular origin (debian)

2019-03-14 Thread Hamish MB
NB: Also the licenses for these can be found inside the packages or in /usr/share/doc//copyright if anyone else would benefit from this information. Hamish On 14/03/2019 16:55, Hamish MB wrote: > Ralph, > > I have come to the same conclusion, but that will do just fine for me. I have > posted

Re: [Dorset] Slightly Off-Topic - Reasonable Miniature HDMI Monitor

2019-03-14 Thread Terry Coles
On Thursday, 14 March 2019 16:42:53 GMT Patrick Wigmore wrote: > Could you elaborate on what was involved to 'do things properly'? Well. In the context of what you're asking, I can't tell you any more than I have already. although I now realise that I wasn't doing quite what I thought I was

Re: [Dorset] How can I list all installed packages from a particular origin (debian)

2019-03-14 Thread Ralph Corderoy
Hi Hamish, > I was wondering if any of you had found a good way to list all > installed packages from a particular source (eg the "restricted" > component) on Debian-based systems? Basically I want to do this so I > can programmatically check exactly which non-OSS packages are > installed w/o

Re: [Dorset] Micro:Bit

2019-03-14 Thread Paul Tansom
** PeterMerchant via dorset [2019-03-14 12:13]: > On 13/03/2019 17:39, Paul Tansom wrote: > > ** Ralph Corderoy [2019-03-10 14:46]: > > > Hi Terry, > > > > > > > I commented that it was a shame that the Government / BBC hadn't > > > > chosen the Raspberry Pi, since it already had a strong

Re: [Dorset] How can I list all installed packages from a particular origin (debian)

2019-03-14 Thread Hamish MB
Ralph, I have come to the same conclusion, but that will do just fine for me. I have posted the script here in case anyone else finds it useful. The script I ended up using is as follows: """ #!/bin/bash RED='\033[0;31m' GREEN='\033[0;32m' YELLOW='\033[1;33m' NC='\033[0m' for pkg in $(dpkg

Re: [Dorset] Slightly Off-Topic - Reasonable Miniature HDMI Monitor

2019-03-14 Thread PeterMerchant via dorset
On 11/03/2019 12:15, Terry Coles wrote: This is another question that I asked on the Raspberry Pi Forums, since it relates mainly to the performance of miniature monitors when used with the Pi. Here is the original post: https://www.raspberrypi.org/forums/viewtopic.php?f=38=234636 To