id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc	work_issues	upstream	reviewer	author	merged	dependencies	stopgaps
11704	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."	enhancement	closed	major	sage-4.8	scripts	fixed		leif		N/A	John Palmieri	Jeroen Demeyer	sage-4.8.alpha6	#11924