On Monday, May 16, 2022 at 9:12:53 PM UTC-7 hohoa...@gmail.com wrote:
> Is it this snippet, would you please elaborate?
>
>
> # Make sure that SAGE_ROOT is either an absolute physical directory name
> # or empty.
> if [ -n "$SAGE_ROOT" ]; then
> export SAGE_ROOT=$(cd "$SAGE_ROOT" 2>/dev/null
Hi,
Is it this snippet, would you please elaborate?
# Make sure that SAGE_ROOT is either an absolute physical directory name
# or empty.
if [ -n "$SAGE_ROOT" ]; then
export SAGE_ROOT=$(cd "$SAGE_ROOT" 2>/dev/null && pwd -P)
fi
BTW, it is rather confusing to see in '$SAGE_LOCAL/bin/sage':
