Right now you can try it out and check that you can upload tarballs. Its
only truly useful with #19102
On Monday, September 7, 2015 at 8:18:28 PM UTC+2, Jeroen Demeyer wrote:
>
> On 2015-09-07 19:38, Volker Braun wrote:
> > On Monday, September 7, 2015 at 7:29:54 PM UTC+2, Jeroen Demeyer wro
On 2015-09-07 19:38, Volker Braun wrote:
On Monday, September 7, 2015 at 7:29:54 PM UTC+2, Jeroen Demeyer wrote:
So, can you remind us what exactly is the use case for this server?
The goal is no manual steps when handling third-party tarballs
Sorry, but I am lost. How are we, Sage devel
PS: The SAGE_ROOT/upstream content can of course be programatically
generated from the git repo + downloading files by sha1
On Monday, September 7, 2015 at 7:29:54 PM UTC+2, Jeroen Demeyer wrote:
>
> On 2015-09-07 18:25, Volker Braun wrote:
> > Yes, thats intentional. Filenames might be wrong
On Monday, September 7, 2015 at 7:29:54 PM UTC+2, Jeroen Demeyer wrote:
>
> So, can you remind us what exactly is the use case for this server?
>
The goal is no manual steps when handling third-party tarballs
--
You received this message because you are subscribed to the Google Groups
"sage-de
On 2015-09-07 18:25, Volker Braun wrote:
Yes, thats intentional. Filenames might be wrong (requiring some further
UI to change it) but the sha1 is tautologically correct.
So, can you remind us what exactly is the use case for this server?
--
You received this message because you are subscribed
PS: I'm working on a patch for sage to fall back to downwload by sha1 after
the mirrors were checked, this is http://trac.sagemath.org/ticket/19102
On Monday, September 7, 2015 at 6:25:26 PM UTC+2, Volker Braun wrote:
>
> Yes, thats intentional. Filenames might be wrong (requiring some further
Yes, thats intentional. Filenames might be wrong (requiring some further UI
to change it) but the sha1 is tautologically correct.
On Monday, September 7, 2015 at 10:17:53 AM UTC+2, Jeroen Demeyer wrote:
>
> On 2015-08-08 21:22, Volker Braun wrote:
> > In order to streamline updating third-part
On 2015-08-08 21:22, Volker Braun wrote:
In order to streamline updating third-party tarballs I've written a
small web app where you can directly upload them. That way you don't
need to host files yourself. Plus, the files can be retrieved by sha1 so
with a little bit more scripting I won't alway
Port 8080 seems firewalled now, I moved it to the standard port:
http://fileserver.sagemath.org
On Friday, September 4, 2015 at 10:08:48 AM UTC+2, Jeroen Demeyer wrote:
>
> On 2015-08-08 21:22, Volker Braun wrote:
> > http://fileserver.sagemath.org:8080/
>
> Seems down...
>
--
You rece
On 2015-08-08 21:22, Volker Braun wrote:
http://fileserver.sagemath.org:8080/
Seems down...
--
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+unsu
In order to streamline updating third-party tarballs I've written a small
web app where you can directly upload them. That way you don't need to host
files yourself. Plus, the files can be retrieved by sha1 so with a little
bit more scripting I won't always forget to manually copy them to the
m
11 matches
Mail list logo
