Re: [sage-devel] Adding patch as a standard package

2010-11-16 Thread Robert Bradshaw
On Sun, Nov 14, 2010 at 3:15 PM, Dr. David Kirkby wrote: > On 11/14/10 08:51 PM, William Stein wrote: >> >> On Sun, Nov 14, 2010 at 5:00 AM, Jeroen Demeyer >>  wrote: >>> >>> Hello all, >>> >>> There is some work being done at #9418 at make GNU patch a standard >>> package such that, in the future

Re: [sage-devel] Adding patch as a standard package

2010-11-14 Thread William Stein
On Sun, Nov 14, 2010 at 3:39 PM, Dan Drake wrote: > On Sun, 14 Nov 2010 at 02:00PM +0100, Jeroen Demeyer wrote: >> There is some work being done at #9418 at make GNU patch a standard >> package such that, in the future, spkgs will be able to use "patch" >> instead of "cp" to apply patches. >> >> I

Re: [sage-devel] Adding patch as a standard package

2010-11-14 Thread Dr. David Kirkby
On 11/14/10 11:39 PM, Dan Drake wrote: On Sun, 14 Nov 2010 at 02:00PM +0100, Jeroen Demeyer wrote: There is some work being done at #9418 at make GNU patch a standard package such that, in the future, spkgs will be able to use "patch" instead of "cp" to apply patches. It is a very simple soluti

Re: [sage-devel] Adding patch as a standard package

2010-11-14 Thread Dan Drake
On Sun, 14 Nov 2010 at 02:00PM +0100, Jeroen Demeyer wrote: > There is some work being done at #9418 at make GNU patch a standard > package such that, in the future, spkgs will be able to use "patch" > instead of "cp" to apply patches. > > It is a very simple solution which allows for: > * patchin

Re: [sage-devel] Adding patch as a standard package

2010-11-14 Thread Dr. David Kirkby
On 11/14/10 08:51 PM, William Stein wrote: On Sun, Nov 14, 2010 at 5:00 AM, Jeroen Demeyer wrote: Hello all, There is some work being done at #9418 at make GNU patch a standard package such that, in the future, spkgs will be able to use "patch" instead of "cp" to apply patches. It is a very s

Re: [sage-devel] Adding patch as a standard package

2010-11-14 Thread William Stein
On Sun, Nov 14, 2010 at 5:00 AM, Jeroen Demeyer wrote: > Hello all, > > There is some work being done at #9418 at make GNU patch a standard > package such that, in the future, spkgs will be able to use "patch" > instead of "cp" to apply patches. > > It is a very simple solution which allows for: >