> OK, so who knows a clever way to detect which files were added/changed
> in a directory structure?
Quick and very dirty : 'find . -cmin -5' (files modified less than 5
minutes ago).
Quick and dirty : ls -lR > before ; make install ; ls -lR after ; diff
-u before after | sed -e 'whatever_to_prettify_the_output' but it will
look kind of ugly.
Better : make a decent snapshot of the tree state before installing,
keeping track of filename, modification time, size, possibly some md5
checksum or something (say in an sqlite database file, easy to do in
python), and compute the difference after running make install.
But once you are there, you might as well keep the snapshot, add the
package name as one of the file attributes, and bam you have a package
management system !
/v
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
