I see, thanks Antonio for the fix! To make sure I get the big picture - distro package will use system services (e.g. python and especially pip) whereas the built from source installation has it's own compiled python env and is thus independent of the system installed python env. Do I get that right?
2018-07-10 13:52 GMT+03:00 Antonio Rojas <nqn7...@gmail.com>: > > > El lunes, 9 de julio de 2018, 21:35:04 (UTC+2), Amit Wolecki escribió: >> >> Thank you all for the useful comments! >> Antonio, I wasn't aware of the somewhat limiting way a repo installation >> works, this remark made me try to stick to building from source. >> >>> >>> > Actually, scratch that. 'sage -i' will definitely not work as it's tightly > tied to the upstream Sage directory structure. However, 'sage -pip' should > simply work by calling the system pip. The reason why it didn't work is > that our python2 pip command is renamed to pip2 so it doesn't conflict with > the python3 version. I've now fixed that in 8.2-10 and 'sage -pip' works > properly with the distro package. > Note that you should always call it with --user, installing system wide > packages with pip on Arch is highly discouraged > -- You received this message because you are subscribed to a topic in the Google Groups "sage-devel" group. To unsubscribe from this topic, visit https://groups.google.com/d/ topic/sage-devel/ScwAA8qGYKw/unsubscribe. To unsubscribe from this group and all its topics, 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
