Travailler à l'ensimag avec son matériel personnel

(dans les locaux Ensimag ou depuis l'extérieur) Sommaire • Introduction

• Les bug busters

• Linux centos 7.2 / Windows 7

• Identifiants

• PC, serveurs, identifiants et quotas disques

• Impressions

• Wifi et VPN • Wifi et VPN

• Client VPN Cisco Anyconnect

• Accès serveurs pcserveur.ensimag.fr et depots.ensimag.fr via ssh et sftp

• Synchronisation de données : Unison

• PC virtuel Ensimag • Infrastructure matérielle et logicielle

• Principes

• Mode d’emploi

• Côté utilisateur

• Côté administrateur

• PC virtuel local : solution VirtualBox

• Sécurité

• Kit de survie Ensimag pour mon ordinateur portable

• Support informatique

• Acquisition d’un ordinateur portable

1. Introduction : Etat des lieux solutions systèmes

Plateformes d'enseignement Ensimag : majoritairement Unix/Linux avec des salles en bi-boot Linux/Windows

Systèmes installés sur les matériels personnels étudiants :

?

2. Les bug busters

C’est quoi ?

Un service de support informatique pour les ordinateurs portables personnels des étudiants à l'Ensimag.

Un service par et pour les étudiants.

C’est pour quoi faire ?

Cette assistance concerne les ordinateurs portables personnels des étudiants et leur usage dans le cadre de la pédagogie à l'Ensimag

Exemples : dépanner un problème de réseau wifi, installer le VPN, dépanner les problèmes d’accès au PC Virtuel, installer des logiciels ou des librairies nécessaires pour réaliser un TP, installer une machine virtuelle, …

Ce n’est surtout pas pour faire quoi ?

Réaliser ou débugger les TPs des étudiants

Résoudre les problèmes d’usage personnel des ordinateurs portables (jeux, films, …)

2. Les bug busters

C’est qui ?

C’est où ?

Bureau E111, bug.busters@ensimag.fr

C’est quand ?

Tous les jours du lundi au vendredi

De 13h à 14h

De 17h à 22h (sauf les vendredis veille de vacances : fermeture à 18h)

On fait quoi avant d’aller les voir ?

On lit leur FAQ : https://ensiwiki.ensimag.fr/index.php/FAQ_Bug_Busters

Corentin Cournac

Satyan Jacquens

Sylvain Gauthier

Francois-Xavier Carton

Anthony Correia

Adrien Suau

3. Linux centos 7.2 / Windows 7

Distribution Centos 7.2 64 bits avec une sélection de logiciels utiles pour les TP (Python, Emacs, Eclipse, Netbeans et bien d'autres)

Distribution binairement compatible avec Redhat 7.2

Installée sur tous les PC des salles de TP Ensimag

Installée sur tous les PC virtuels Ensimag

Windows 7 :

Tous les systèmes Windows et suites de développement Windows (Visual Studio) sont fournis gratuitement via le programme dreamspark pour une utilisation personnelle par les étudiants.

https://intranet.ensimag.fr/intranet-ensimag/index.php/moyens-pedagogiques-3/environnements-numeriques-de-travail-ent/577-msdnaa-licences-microsoft

4. Identifiants

4 types d’identifiants : Identifiants Ensimag

Identifiants Grenoble INP (Agalan/Triode)

Identifiants Photocopieurs (Papercut)

Identifiants E-mail (Zimbra)

Login Ensimag = Login Grenoble INP = Login Photocopieurs = Login E-mail

Password Ensimag ≠ Password Grenoble INP ≠ Password E-mail

≠ Password Photocopieurs

Pour mettre à jour, unifier ou récupérer ses mots de passe : https://intranet.ensimag.fr/passwords

Adresses e-mail :

<prenom>.<Nom>@grenoble-inp.org

2 avatars (disponibles fin septembre 2016) : <prenom>.<Nom>@ensimag.grenoble-inp.fr

<prenom>.<Nom>@ensimag.fr

5. PC, serveurs, identifiants et quotas disques

PC (E103, E301, E200, E201, E212, D200, D201, E300, E303 E100, E101, E102, E104)

Baie de disques Centrale

Serveur

Baie de disque

PC virtuels (Depuis vos PC personnels portables ou fixes)

pcserveur.ensimag.fr Serveur en accès ssh via VPN (usage principal : échange de données école/extérieur)

depots.ensimag.fr Serveur de dépôts en accès ssh sans VPN (usage

principal : répertoires de travail d’équipe via un gestionnaire de versions svn, git, mercurial dans /depots/2016 ; quota : 1 Go)

Quotas disques: 10 Go / étudiant Vérifier son quota sous linux : quota -s Quota plein : faire le ménage via ssh sur pcserveur ou CTRL

+ ALT + F2 sur un PC de l’école Traquer les gros fichiers/répertoires :

du -sh * .*

Identifiants PC, PC virtuels, serveurs : 1 identifiant unique par utilisateur 1 Home Directory unique par utilisateur 1 Volume de Données unique par utilisateur

pendant toute la durée de scolarité

2 salles pour PC portables (E106, E108) Multiprises Réseau filaire via VPN Ensimag

6. Impressions

Libération des impressions par code personnel sur le copieur L’impression ne sort pas si on ne va pas la chercher Pas de gaspillage Confidentialité Identifiants : Login Ensimag Password : code numérique (communiqué avec la fiche de compte et

récupérable sur https://intranet.ensimag.fr/passwords ) Une seule file d’impression utilisable par les étudiants :

Impression-noir-et-blanc-toshiba

Quotas : Quota initial : 150 pages Ajout mensuel : 50 pages Cumul maximum : 200 pages

Vérifier son quota : http://ensiprintserv.imag.fr:9191 Login Ensimag + code numérique

Imprimer depuis son PC portable personnel : https://intranet.ensimag.fr/intranet-joomla/index.php/moyens-pedagogiques-3/environnements-numeriques-de-travail-ent/782-installation-des-pilotes-et-copieurs-de-l-ecole

Octobre 2016 : Changement des copieurs et systèmes d’impression

7. Wifi et VPN

Documentation complète : https://intranet.ensimag.fr/intranet-ensimag/index.php/moyens-

pedagogiques-3/environnements-numeriques-de-travail-ent/202-wifi-vpn-et-acces-distant-vpn

2 réseaux Wifi accessibles à l'Ensimag : eduroam / wifi-campus

Eduroam (solution conseillée) :

Identifiants Grenoble INP (Agalan/Triode) <login>@grenoble-inp.fr et <password>.

Installation automatique d’Eduroam : https://cat.eduroam.org/

Wifi-campus (solution de dépannage) : identifiants Grenoble INP (Agalan/Triode) <login> et <password> à saisir sur le portail captif via un navigateur web

2 VPN : VPN Ensimag : c-vpn-pub.imag.fr

A utiliser en priorité (pour l’instant mais solution en fin de vie)

Fonctionne de partout sauf depuis les logements Crous

VPN Grenoble INP : vpn.grenet.fr Accessible de partout (des logements Crous en particulier)

Permet une mise à jour automatique du client VPN Cisco

Connexion filaire et VPN :

Le VPN peut être utilisé sur réseau wifi ou réseau filaire. Sur réseau filaire, il fournit aussi un accès distant qui permet d'être identifié comme si on était à l'intérieur de l'Ensimag

8. Client VPN Cisco anyconnect

Client fortement recommandé VPN cisco anyconnect :

Client disponible sous Windows, Linux, Mac OS

Téléchargement et installation du client vpn cisco, 2 adresses possibles:

https://vpn.grenet.fr :

https://c-vpn-pub.imag.fr

2 VPN disponibles : vpn.grenet.fr et c-vpn-pub.imag.fr

VPN Ensimag : c-vpn-pub.imag.fr

Identifiants : login et password Ensimag

VPN Grenoble INP: vpn.grenet.fr

Identifiants : login et password Grenoble INP

9. Accès serveurs pcserveur.ensimag.fr et depots.ensimag.fr via ssh et sftp

Depuis Linux ou Mac OS X :

ssh username@pcserveur.ensimag.fr

ssh –X username@pcserveur.ensimag.fr

sftp username@pcserveur.ensimag.fr, filezilla en mode graphique

Depuis Windows :

smartty (http://smartty.sysprogs.com/download/) : ssh avec terminal X xming intégré

filezilla ou sftp secure shell (http://www.sfsu.edu/ftp/win/ssh/SSHSecureShellClient-3.2.9.exe)

10. Synchronisation de données : Unison

Unison permet une synchronisation bi-directionnelle entre un répertoire local (ex : portable) et un répertoire distant (utilisation classique : avec le serveur pcserveur.ensimag.fr)

Solution multi-plateformes Windows, Linux, Mac OSX

NOTA BENE : les mêmes numéros de version doivent être installés sur le client et le serveur (version utilisée à l’Ensimag en 2016-2017 : 2.40.102)

Installation et utilisation d’Unison : http://ensiwiki.ensimag.fr/index.php/Unison

Autres solutions :

rsync (linux uniquement)

Gestionnaires de versions pour le travail en équipe : SVN, Git, Mercurial

http://ensiwiki.ensimag.fr/index.php/Travailler_à_distance

11. PC virtuel – principes de base

Windows Linux

Windows VM Linux

La machine virtuelle est un simple fichier dans le système hôte. Elle utilise les drivers du système hôte (réseau, vidéo, …)

Le disque dur contient une seule partition pour le système principal

Le disque dur est découpé en 2 partitions : 1 pour chaque système. Les drivers sont spécifiques à chaque système.

Risques à l’installation :

0

Machine virtuelle

Bi-boot Risques

à l’installation :

importants

11. PC Virtuel Ensimag Infrastructure matérielle et logicielle

2 serveurs « master / broker»

7 serveurs « hyperviseurs » (maximum de 60 pc virtuels chacun)

Solution Neocoretech NDV

420 licences de postes de travail virtuels dédiés à l’utilisation depuis son PC portable à l’Ensimag et/ou chez soi via une interface web.

11. PC virtuel Ensimag - Principes

2 Brokers : Ils gèrent les connexions utilisateurs Ils pilotent les hyperviseurs Ils contiennent les « masters » des PC Virtuels

7 Hyperviseurs : Les PC virtuels sont chargés en mémoire à partir des fichiers masters du broker Les PC virtuels sont exécutés sur ces hyperviseurs

Déport affichage / clavier / souris

Client : PC portable avec navigateur web et oracle java

Serveurs

11. PC virtuel Ensimag – Mode d’emploi

Prérequis : Accès via VPN Ensimag ou VPN Grenoble INP Navigateur web (firefox recommandé) Java (oracle java recommandé)

Portail d’accès au PC virtuel :

https://pcvirtuel.ensimag.fr

11. PC virtuel Ensimag – Mode d’emploi

3 - Identifiants

ensimag

4 - Cliquer pour

lancer le PC virtuel

1 – Connexion

VPN Ensimag

2 – Si nécessaire,

(re)lancer le portail

11. PC virtuel Ensimag – Mode d’emploi

PC virtuel

4 - Solution n°1 pour

quitter le PC virtuel

2 - Ce menu apparaît

par survol de la zone à

la souris 5 - Solution n°2 pour

quitter le PC virtuel :

icône de déconnexion

1 - Claviers prédéfinis

• fr : fr PC

• fr2 : fr Mac

• en : us PC

• en2 : us Mac

3 – Alt + Tab au dessus

de cette icône pour

revenir sur le système

hôte

11. PC Virtuel Ensimag - Côté utilisateur

Protocole performant SPICE

Système hôte : Windows ou Linux ou Mac Os

Portail web : accès à la solution de virtualisation

https://pcvirtuel.ensimag.fr Une VM Centos

11. PC virtuel Ensimag - Côté

administrateur

PC virtuels

Utilisateurs

Masters

11. PC virtuel local : solution VirtualBox

Pourquoi mettre en œuvre une solution de PC virtuel local ? En secours du PC virtuel fourni par l’Ensimag nécessitant une connexion internet

Pour pouvoir travailler même en cas de problème réseau et/ou PC Virtuel Ensimag

VirtualBox permet de créer des PC/machines virtuelles : Solution multi-plateformes Windows, Linux, Mac OSX

Le PC Virtuel est installé et exécuté en local sur le PC hôte

Exemple 1 : une machine virtuelle Linux sur un Windows natif ou Mac OSX natif

Exemple 2 : une machine virtuelle Windows sur un Linux natif ou Mac OSX natif

Nouveauté 2016-2017 :

Une VM Centos 7 Ensimag clé en mains, au format VirtualBox, à télécharger et installer sur votre PC

Date de sortie : fin septembre 2016

12. Sécurité

Windows, Linux et Mac OSX : mises à jour systèmes à programmer quotidiennement.

Windows : mises à jour antivirus à programmer quotidiennement

Windows antivirus (obligatoire) :

Antivirus édition gratuite Avira : http://www.avira.com/fr/downloads

Antivirus édition gratuite Avast : http://www.avast.com/fr-fr/free-antivirus-download

Nota bene : ces antivirus présentent un bon niveau d'efficacité mais des solutions payantes comme mcafee / symantec / norton antivirus peuvent s’avérer plus réactives

Sauvegardes des données : rsync, sftp, unison, time machine,...

Sauvegarde complète système + logiciels + données

Mac OSX : Time Machine

Windows et/ou Linux : Clonezilla Live (http://clonezilla.org)

13. Kit de survie Ensimag pour ordinateur portable

Le minimum vital à avoir sur mon ordinateur portable personnel : Accès aux 2 wifi Eduroam et Wifi-Campus

Accès aux 2 VPN Ensimag et Grenoble INP

Oracle Java à jour (dernière version stable recommandée)

Accès à mon PC virtuel Ensimag

Pour mon confort, j’installe : La machine virtuelle Centos 7.2 Ensimag en local sur mon ordinateur portable via Virtualbox

Pour des performances optimales, j’installe : Un boot multiple avec un linux Centos 7.2 natif (en plus de la machine virtuelle…)

14. Support informatique

1] « Auto » support Je ne sais pas comment faire : je cherche s’il y a une documentation technique sur

intranet.ensimag.fr (principalement ici : https://intranet.ensimag.fr/intranet-ensimag/index.php/moyens-pedagogiques-3/environnements-numeriques-de-travail-ent ) et ensiwiki.ensimag.fr

J’ai perdu des fichiers : des sauvegardes quotidiennes sont accessibles directement dans le répertoire « /sauvegardes ». Comment procéder : Récupérer les informations vous concernant via la commande : echo ~ , depuis votre répertoire home : /user/<x>/<login>

cd /sauvegardes/filer-user<x>/<date_et_heure_sauvegarde>/<login>/

Exemple :

pwd : /user/5/rusiec

cd /sauvegardes/filer-user5/2016-09-22-23h00/rusiec/

2] Bug Busters Je ne m’en sors pas tout seul : je demande de l’aide aux Bug Busters

3] Service informatique Je ne m’en sors toujours pas : le service informatique est ma dernière chance, je privilégie

les requêtes par e-mail : support.info@ensimag.fr

15. Acquisition d’un ordinateur portable

Je n’ai pas d’ordinateur portable, est ce obligatoire ?

Non ! L’Ensimag met à disposition des enseignements environ 400 PC accessibles en libre service en dehors des cours

Je veux acquérir un ordinateur portable de bon rapport qualité/prix

Je traque les promotions sur internet, dans les supermarchés, assembleurs locaux, etc…

Je n’ai pas les moyens d’acquérir un ordinateur portable :

L’Ensimag dispose d’un petit pool de PC portables de prêt accessibles sur conditions de ressources. Demande à formuler auprès de Christophe.Rippert@grenoble-inp.fr