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.
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.