On 2016-04-06, Dima Pasechnik <dimp...@gmail.com> wrote: >> Perhaps it makes sense to just delete SAGE_LOCAL/bin/git, so that my >> system-wide git will be picked up? >> > or make your SAGE_LOCAL/bin/git a symlink to the system git.
Unfortunately, removing git didn't work. Even removing SAGE_LOCAL/libexec/git-core didn't work. Annoying. Put differently: Is it OK if an spkg-src script is NOT supposed to work in a Sage shell? If spkg-src may be executed in a normal shell, then fine. Cheers, Simon -- 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.
