On Wed, Nov 29, 2000 at 05:09:11PM -0700, Jason Gunthorpe wrote:
>
> On Thu, 30 Nov 2000, Christian Surchi wrote:
>
> > > If a RedHat user runs wget http://http.us.debian.org/path/to/GPLed/deb, did
> > > Debian not distribute that file to the RedHat user?
I replied to that, I didn't write it, to be precise. :)
> Just you know, to add some perspective here,
>
> If the same RedHat user sshs to my machine and copies /usr/bin/ls then
> they
> also won't get a copy of the GPL and I would be in violation?
And in fact, I think it's not so useful to consider all the possible
software exchanges of our or not our users.
> I immediately move we encode a copy of the GPL in an ELF section and
> attach it to each binary to ensure that nobody can ever get the software
> without a copy of the license.
Good idea! ;)
--
Christian Surchi | csurchi@debian.org | christian@firenze.linux.it
FLUG: http://www.firenze.linux.it | Debian GNU/Linux: http://www.debian.org
-----------------> http://www.firenze.linux.it/~csurchi <------------------
You scratch my tape, and I'll scratch yours.