Estas son algunas notas para las sesiones en las que se explica cómo conectarse a los laboratorios, y cómo ejecutar PyCharm.

Acceso remoto a los laboratorios

Primero, recordad crear o renovar cuenta según las instrucciones del sitio web de los laboratorios Linux. Las instrucciones sobre cómo conectarse están accesibles desde el menú “tutoriales” de ese mismo sitio:

Os aconsejamos que preparéis el acceso mediante par de claves (tutorial con instrucciones, detalles sobre cómo funcionan las claves ssh).

Para lanzar PyCharm

Cuando se ejecuta por primera vez, se hace una configuración mínima. Entre otras cosas, permite crear un script, bin/charm, dentro de tu directorio hogar, que podrás ejecutar después desde la consola para ver cualquier fichero. Si quieres que te funcione cómodamente, tendrás que añadir texto a tus fichero .profile el siguiente texto (si no está ya):

set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi