Resolve symbolic links in $HOME/.sage

[jdemeyer]

Similarly to SAGE_ROOT, it might be good to resolve symbolic links in $HOME/.sage when assigning DOT_SAGE. This can be useful for example when $HOME/.sage is a symbolic link to a non-existent directory (the directory would be created later in sage-sage).

Probably we should use whatever solution comes from #5852.

Depends on #11924

CC: @nexttime

Component: scripts

Author: Jeroen Demeyer

Reviewer: John Palmieri

Merged: sage-4.8.alpha6

Issue created by migration from https://trac.sagemath.org/ticket/11704

[jdemeyer]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
 Similarly to `SAGE_ROOT`, it might be good to resolve symbolic links in `$HOME/.sage` when assigning `DOT_SAGE`.  This can be useful for example when `$HOME/.sage` is a symbolic link to a non-existent directory (the directory would be created later in `sage-sage`).
+
+Probably we should use whatever solution comes from #11707.

[jdemeyer]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
 Similarly to `SAGE_ROOT`, it might be good to resolve symbolic links in `$HOME/.sage` when assigning `DOT_SAGE`.  This can be useful for example when `$HOME/.sage` is a symbolic link to a non-existent directory (the directory would be created later in `sage-sage`).
 
-Probably we should use whatever solution comes from #11707.
+Probably we should use whatever solution comes from #5852.

[jdemeyer]

Dependencies: #5852

[jdemeyer]

Changed dependencies from #5852 to none

[jhpalmieri]

comment:9

Note also #11924: currently if DOTSAGE doesn't end with a slash, then there are unintended consequences. (#11924 should be an easy review.)

[jdemeyer]

Dependencies: #11924