One scenario where I could see this being beneficial: These configurations are written into `$HOME/.sage` (normally), so that is not a location that is predicated by a venv or a localized subdir. If a user is using two different sagemath installs (e.g., one system, the other for development) that have incompatible ipython configs, they need to live in places that allow peaceful co-existence. This would do it. I agree the version number can look confusing, It seems like a historic artifact that we didn't need to change our ipython configs since version 5.0.0, probably. It looks to me like a fairly arbitrary choice how to mark that directory name. Not changing it would be the easiest solution, but if someone wants to make an argument that another naming convention has benefits (following common practices that have since evolved?) it could be changed, at the expense of everyone with an install needing to change locations of files they already customized. So based on that, I think the best time to change it (if at all) would be when an incompatible change in config is happening anyway.
On Monday 1 April 2024 at 12:20:16 UTC-7 Dima Pasechnik wrote: I must say I don't know what kind of problems these versioned names are meant to solve. >On 31 March 2024 15:23:24 CEST, Marc Culler <marc....@gmail.com <https://groups.google.com/>> wrote : >if [ -z "$IPYTHONDIR" ]; then > # We hardcode a version number in the directory name. The idea is > # that we keep using the same version number as long as that is > # possible. Only when some future IPython version really requires > # a new structure for the $IPYTHONDIR should this version number be > # changed to the new IPython version. > export IPYTHONDIR="$DOT_SAGE/ipython-5.0.0" >fi -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5ff12336-204d-4119-b776-3d2f2251b80dn%40googlegroups.com.
