+1.
This might actually be the way to go, more or less --- make sage
debian package a downloader.
Debian actually has such packages, e.g., something that downloads free
fonts for OO...

Dima

On Mar 7, 3:47 pm, "ma...@mendelu.cz" <ma...@mendelu.cz> wrote:
> On 7 bře, 01:05, William Stein <wst...@gmail.com> wrote:
>
>
>
> > It's not clear if it is PITA or not.  As far as I can tell, nobody
> > lifted a finger to work on the Debian/Ubuntu packaging of Sage during
> > the last 6 months (or more).  Nobody is working on it.
>
> Just some ideas. I wonder if the following is possible
>
> Replace sage package in Debian and Ubuntu repositories by a simple
> script which does the following:
>
> 1. checks if sage is installed, if no, downloads the latest Debian
> binary and unpacks (say in /opt/Sage-4.3.3 and makes ln -s /opt/sage /
> opt/sage-4.3.3)
> 2. if yes, checks, that sage binary is not 6 months old
> 3. runs sage
>
> Robert Marik

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to