On 04/06/16 09:54, Simon King wrote:
Am Dienstag, 5. April 2016 23:47:20 UTC+2 schrieb François:
On 04/06/16 09:27, Simon King wrote:
> Interesting. There really is no such thing as git-remote-http.
Why could
> that be?
Do you have curl+curl-dev installed? That what it uses for those.
After
sudo apt-get install curl libcurl3-dev
and
sage -f git
I still have not git-remote-http.
Was definitely missing from your original install. New build log please.
Francois
--
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.
