On Sunday, 1 November 2015 07:47:05 UTC-7, Nathann Cohen wrote: > > > Thats a variant of http://trac.sagemath.org/ticket/14243 > > > > In a self-contained build of Sage you probably don't want the bundled R > to > > break just because the user also has a different version of R installed > with > > incompatible config files > > > > A system-wide install of Sage should have R using the usual config > files. > > /* disclaimer: just throwing an idea, I don't feel involved by the problem > */ > > Wouldn't it be possible to look for those config files in ~/.sage/, so > that users could manually define a couple of things if they need to > (couldn't guess what this could be) by creating a .R/ (or whatever) in > there (and explain the procedure in the manual somewhere)? > > Nathann >
R picks up config from 1) "site" which is where it is installed, so R-in-Sage should pick it up from a config file in Sage tree 2) user home directory, unless directed to a different place somehow 3) current directory for the sake of special config for particular projects It seems to me that 1) cannot cause any problems if enabled and can be potentially useful for configuring R in Sage (a bunch of options are evaluated via r.eval(...) when the interface starts at the moment) 2) can be configured to use a file in .sage via environment variable in Sage shell, although I suspect that even default behaviour is unlikely to cause any issues - R is not as central to Sage as Python 3) it makes no sense to disable it at all So I'd like to change things to reading all config files except for the one in home directory, redirecting it to ~/.sage/.Rprofile via a command line switch. Any objections? -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
