Looking in sage-env I see:
if [ "$MKDIR" = "" ]; then
MKDIR="mkdir"
fi
if [ "$CHMOD" = "" ]; then
CHMOD="chmod"
fi
if [ "$TOUCH" = "" ]; then
TOUCH="touch"
fi
if [ "$MV" != "" ]; then
MM="$MV"
fi
if [ "$CP" = "" ]; then
CP="cp"
fi
I'm wondering if this is really necessary to have these environment
variables. I might have been the one guilty of adding these to sage-env,
as I did work on it years ago, but I'm wondering now if we need these to
be user definable, or just use 'cp', 'mkdir' etc in scripts?
I'd propose deleting these, then of course testing that none are
actually used.
In the case of 'make' and 'tar' I think there are good reasons for using
the environment variables, as there are often different versions of make
and tar around, but I'm not so sure with the very basic commands.
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
