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 | [EMAIL PROTECTED] | [EMAIL PROTECTED] 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.