2010/1/11 Craig Citro <craigci...@gmail.com>: > You've also got trouble if they do > > $ export MAKE='/my/favorite/path with spaces/make -j 100' > > because that awk command just prints the first space-delimited token. > The only way I can think of to get around that would be to use a > regexp to take everything after the last / to find the path, then use > something like the awk command above to get the command name, and > append them back together. Is there a more clever way to do it?
There is an early check in Sage for a path containing a space. One is not permitted, so that itself is not an issue.
-- 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
