On May 2, 1:29 am, William Stein <wst...@gmail.com> wrote:
> On Sat, May 2, 2009 at 1:27 AM, Johan Oudinet <johan.oudi...@gmail.com> wrote:
<SNIP>
> > $ mount
> > /dev/hda1 on / type ext3 (rw,errors=remount-ro)
> > tmpfs on /lib/init/rw type tmpfs (rw,nosuid,mode=0755)
> > proc on /proc type proc (rw,noexec,nosuid,nodev)
> > sysfs on /sys type sysfs (rw,noexec,nosuid,nodev)
> > udev on /dev type tmpfs (rw,mode=0755)
> > fusectl on /sys/fs/fuse/connections type fusectl (rw,relatime)
> > automount(pid2614) on /local type autofs
> > (rw,fd=4,pgrp=2614,minproto=2,maxproto=4)
> > automount(pid2642) on /users type autofs
> > (rw,fd=4,pgrp=2642,minproto=2,maxproto=4)
> > automount(pid2872) on /tmpsim type autofs
> > (rw,fd=4,pgrp=2872,minproto=2,maxproto=4)
> > automount(pid2962) on /special type autofs
> > (rw,fd=4,pgrp=2962,minproto=2,maxproto=4)
> > netapp2:/vol/Logiciels/Fortesse on /special/fortesse type nfs
> > (rw,intr,soft,addr=129.175.1.2)
> > netapp-11:/vol/Equipe_asspro/asspro on /users/asspro type nfs
> > (rw,nosuid,intr,hard,tcp,timeo=600,retrans=2,addr=129.175.1.7)
>
> > And I try to run Sage from /users/asspro
Ok.
> Is there enough space so you could try doing everything in /tmp or
> /local or some other *non*-NSF local partition?
Gonzalo had the exact same problem about GAP not starting up when he
was playing around with a Debian chroot env and it turned out that he
needed to mount devpts. According to the output above that (pseudo)
filesystem is not mounted, so before trying anything else I would
recommend to mount it. The kernel might or might not support it out of
the box (since it is a Debian kernel it should). devpts should be
mounted by udev it seems per default, but check out
http://linux.derkeiler.com/Newsgroups/comp.os.linux.setup/2005-03/0473.html
on how to mount it. If this turns out to the cause it seems well
worth an entry in the FAQ as well as README.txt since this is a rather
obscure problem. Even adding a check in Sage somewhere to verify that
the devpts is mounted on startup of Sage might be worth it.
> william
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support-unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
