MPDL IT Infrastructure/escidoc1.escidoc.mpg.de

MPDL,GWDG

=escidoc1.escidoc.mpg.de=

OS

 * SUSE Linux Enterprise Server 10 (x86_64) - Kernel 2.6.16.21-0.13-smp

Special things
IP: 130.183.249.10 (also 130.183.249.11, 130.183.249.12, 130.183.249.13 and 130.183.249.14) DNS: escidoc1.escidoc.mpg.de

Installation
For the continuum and maven build-environment there are some sshfs-mounts on escidoc1 These are in detail:
 * /mnt/jboss/dev-faces
 * /mnt/jboss/dev-pubman

in case you had to reboot either dev-pubman or dev-faces you have to unmount these mounts as root with:

umount /mnt/jboss/dev-faces or umount /mnt/jboss/dev-pubman

and then you have to mount them as jboss (becoming user jboss via ):

sshfs -o uid=41 jboss@dev-faces.mpdl.mpg.de:/usr/share/jboss /mnt/jboss/dev-faces or sshfs -o uid=41 jboss@dev-pubman.mpdl.mpg.de:/usr/share/jboss /mnt/jboss/dev-pubman or sshfs -o uid=41 jboss@dev-virr.mpdl.mpg.de:/usr/share/jboss /mnt/jboss/dev-virr

to make this easier I made a script to accomplish this. Just call mount_jboss from anywhere but /mnt/jboss/xx

the necessary passwords are with Lars, Tom, Julia or if all else fails with Katrin