On Wednesday, April 6, 2016 at 1:39:33 PM UTC+1, Simon King wrote: > > On 2016-04-06, Dima Pasechnik <dim...@gmail.com <javascript:>> 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. >
I think this is perfectly OK. It might have requirements beyond needed to build/run sage, e.g. autotools, etc... Surely using system git is OK, too. > > 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.
