> basename does the trick, doesn't it? > Yep, seems like exactly what we want. The man page also tells me about dirname, which seems to be the complementary utility we'd want in some situations.
-cc
-- 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
