On Mon, May 9, 2011 at 1:42 PM, Jeroen Demeyer wrote:
> On 2011-05-09 18:01, Robert Bradshaw wrote:
>> On Sun, May 8, 2011 at 4:43 AM, David Kirkby wrote:
>>> On 8 May 2011 05:37, Robert Bradshaw wrote:
On Sat, May 7, 2011 at 6:45 AM, David Kirkby wrote:
> On 7 May 2011 10:59, Jeroen D
On 2011-05-09 18:01, Robert Bradshaw wrote:
> On Sun, May 8, 2011 at 4:43 AM, David Kirkby wrote:
>> On 8 May 2011 05:37, Robert Bradshaw wrote:
>>> On Sat, May 7, 2011 at 6:45 AM, David Kirkby wrote:
On 7 May 2011 10:59, Jeroen Demeyer wrote:
> On 2011-05-06 19:53, Robert Bradshaw wro
On Sun, May 8, 2011 at 4:43 AM, David Kirkby wrote:
> On 8 May 2011 05:37, Robert Bradshaw wrote:
>> On Sat, May 7, 2011 at 6:45 AM, David Kirkby wrote:
>>> On 7 May 2011 10:59, Jeroen Demeyer wrote:
On 2011-05-06 19:53, Robert Bradshaw wrote:
> Even better would be to checksum the sou
On 05/ 8/11 12:52 PM, Jeroen Demeyer wrote:
On 2011-05-08 02:58, Dr. David Kirkby wrote:
find src -print -exec cksum {} \; | awk '{print $1}' | sort | cksum |
awk '{print $1}'
The most portable solution would probably be a small Python script.
Personally, I think the *dates* in the src/ direct
On 2011-05-08 02:58, Dr. David Kirkby wrote:
> find src -print -exec cksum {} \; | awk '{print $1}' | sort | cksum |
> awk '{print $1}'
The most portable solution would probably be a small Python script.
Personally, I think the *dates* in the src/ directory should also be
kept, "make" can be confu
On 8 May 2011 05:37, Robert Bradshaw wrote:
> On Sat, May 7, 2011 at 6:45 AM, David Kirkby wrote:
>> On 7 May 2011 10:59, Jeroen Demeyer wrote:
>>> On 2011-05-06 19:53, Robert Bradshaw wrote:
Even better would be to checksum the source in a src.md5 file, and
have sage -spgk warn/error
On Sat, May 7, 2011 at 6:45 AM, David Kirkby wrote:
> On 7 May 2011 10:59, Jeroen Demeyer wrote:
>> On 2011-05-06 19:53, Robert Bradshaw wrote:
>>> Even better would be to checksum the source in a src.md5 file, and
>>> have sage -spgk warn/error if the checksums don't match.
>> I think it is nece
On 05/ 7/11 03:01 PM, Volker Braun wrote:
On Saturday, May 7, 2011 2:45:26 PM UTC+1, Dr David Kirkby wrote:
drkirkby@laptop:~/sage-4.7.rc0/spkg/standard/singular-3-1-1-4.p8$ find
src -exec cksum {} \; | awk '{print $1}' | cksum | awk '{print $1}'
3766045910
You also want to sort somewhere be
On Saturday, May 7, 2011 2:45:26 PM UTC+1, Dr David Kirkby wrote:
>
> drkirkby@laptop:~/sage-4.7.rc0/spkg/standard/singular-3-1-1-4.p8$ find
> src -exec cksum {} \; | awk '{print $1}' | cksum | awk '{print $1}'
> 3766045910
>
You also want to sort somewhere because find doesn't return the matches
On 7 May 2011 10:59, Jeroen Demeyer wrote:
> On 2011-05-06 19:53, Robert Bradshaw wrote:
>> Even better would be to checksum the source in a src.md5 file, and
>> have sage -spgk warn/error if the checksums don't match.
> I think it is necessary and sufficient to checksum the output of "ls -lR".
I
On 2011-05-06 19:53, Robert Bradshaw wrote:
> Even better would be to checksum the source in a src.md5 file, and
> have sage -spgk warn/error if the checksums don't match.
I think it is necessary and sufficient to checksum the output of "ls -lR".
--
To post to this group, send an email to sage-de
On Fri, May 6, 2011 at 8:26 AM, Jeroen Demeyer wrote:
> On 2011-05-06 15:26, Dr. David Kirkby wrote:
>> So, it it was possible to protect against that, I think it would be a
>> good idea.
> One check could be done in the merger script:
> If the new and old spkgs have the same upstream version (i.e
On Fri, May 6, 2011 at 6:26 AM, Dr. David Kirkby
wrote:
> On 05/ 6/11 10:08 AM, Jeroen Demeyer wrote:
>>
>> On 2011-05-05 23:42, Dr. David Kirkby wrote:
>>>
>>> I've often wondered if it would be possible to safely remove the write
>>> permissions from the "src" directory and everything below it,
On 2011-05-06 15:26, Dr. David Kirkby wrote:
> So, it it was possible to protect against that, I think it would be a
> good idea.
One check could be done in the merger script:
If the new and old spkgs have the same upstream version (i.e. the
version numbers are the same except for the patch level),
On 05/ 6/11 10:08 AM, Jeroen Demeyer wrote:
On 2011-05-05 23:42, Dr. David Kirkby wrote:
I've often wondered if it would be possible to safely remove the write
permissions from the "src" directory and everything below it, so files
can't be accidentally changed.
I believe that would reduce the c
On 2011-05-05 23:42, Dr. David Kirkby wrote:
> I've often wondered if it would be possible to safely remove the write
> permissions from the "src" directory and everything below it, so files
> can't be accidentally changed.
>
> I believe that would reduce the chances of the "src" being corrupted.
On 05/ 5/11 03:06 PM, Jeroen Demeyer wrote:
Hi all,
I recently adapted the merge scripts to deal with spkg's in a new way.
Further ideas, suggestions, complaints are welcome.
Jeroen.
I've often wondered if it would be possible to safely remove the write
permissions from the "src" director
17 matches
Mail list logo
