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, [email protected]
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 –X [email protected]
sftp [email protected], 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 : [email protected]
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 [email protected]