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/ directory should also be
kept, "make" can be confused by bad dates.
Jeroen.
Well, with a shell script, if it works now, you know it will keep working. The
same can't be said for Python, as numerous backwards-incompatible changes occur
with different versions of Python. We can't upgrade to 2.7 yet, and 3.x is well
over the horizon.
That said, I can't find a one-liner as a shell script which will check the times
and dates too.
Dave
--
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
