Environnement de travail IF-104 - Mathieu Faverge - Enseirb
Transcription
Environnement de travail IF-104 - Mathieu Faverge - Enseirb
Environnement de travail IF-104 Mathieu Faverge Bordeaux INP - ENSEIRB-MATMECA Département Informatique - Bureau P238 Inria Bordeaux - Sud-Ouest - B223 http://mfaverge.vvv.enseirb-matmeca.fr Avant de commencer Merci de I I Merci d'émarger à coté de votre nom si il n'y a pas votre nom, l'ajouter à la n Première connexion I I I nécessite d'être inscrit nécessite d'avoir un certicat de scolarité nécessite d'avoir validé sont compte sur le site de l'IPB http://aaa.ipb.fr Il est OBLIGATOIRE d'avoir validé son compte avant les TDs A faire en sortant si ce n'est pas déjà fait ! ! ! Au programme I I I Quelques rappels de bases : conception/utilisation des logiciels Organisation et contenu du module environnement de travail (IF104) Quelques recommandations L'informatique c'est quoi à L'ENSEIRB-MATMECA ? L'informatique à l'ENSEIRB-MATMECA ce n'est pas (entre autres) I un ordinateur muni de logiciels I savoir aller sur internet, utiliser Word ou se connecter à son compte facebook I ... L'informatique à l'ENSEIRB-MATMECA c'est plutôt I discipline scientique (computer science) I 6= physique, chimie ou biologie I ∼ mathématiques → manipulation d'objets non réels I fabrique et étudie des objets abstraits : les algorithmes, les programmes, des preuves, des structures de données, . . . I science expérimentale → beaucoup de mises en ÷uvre et de mises en pratique, d'essais pas soi-même Logiciel = programme informatique Conception d'un logiciel I I I I I I I I analyse du problème à résoudre concevoir un algorithme qui correspondant à l'analyse traduction de l'analyse dans un langage de programmation compréhensible par un humain (programme source, chier source, code source, . . . ) compilation du source vers un langage compréhensible par la machine tester que le programme répond aux spécications initiales (tests, preuves, vérication, sûreté de fonctionnement, abilité, . . . ) maintenance, ajout de nouvelles fonctionnalités, extensions, etc le seul moyen de connaître exactement le fonctionnement d'un programme (algorithme, calculs eectués, les appels systèmes) est d'avoir son code source sans code source : pas de vérication, preuves, sûreté de fonctionnement, intégrité des données manipulées Utilisation des logiciels Logiciels payants I I I I I I utiliser un logiciel payant sans l'avoir payé est : illégal utiliser un logiciel sous licence sans licence légale est : illégal utiliser un logiciel piraté est : illégal utiliser un logiciel sans avoir été autorisé est : illégal vous êtes responsables des logiciels que vous utilisez surtout ceux qui sont installés sur votre compte ENSEIRB-MATMECA Logiciels gratuits I I I I gratuit 6= libre gratuit = libre d'utilisation gratuit 6= accès au code source gratuit ≈ présence de virus ? intégrité des données utilisateurs ? sûreté de fonctionnement ? Possible aussi avec les logiciels payants Logiciels libres open source) Logiciels libres ( I I I I I I I I libre 6= gratuit libre = utiliser, étudier, modier, redistribuer libre = accès au code source (correction, sûreté, etc) formation supérieure en informatique : intérêt pédagogique, intérêt scientique, diusion des connaissances, partage des savoirs, égalité devant le logiciel. ouverture des formats, échange de données alternative aux géants de l'édition logiciel (Adobe, Microsoft, . . . ) tous les outils nécessaires à votre formation sont libres tous les outils étudiés dans IF104 sont libres Environnement de travail Dans très peu de temps I appréhender des notions d'algorithmiques, de calculs, de complexité, de programmation I construire/créer des programmes à partir de ces notions I rédiger des rapports, faire des présentations/soutenances Nécessité d'un environnement de travail (développement informatique) pour la mise en ÷uvre Objectifs I appréhender les outils informatiques fondamentaux et nécessaires au cursus d'informaticien I notion de programmation, de programme, exécution, systèmes d'exploitation I acquérir de bons automatismes I devenir ecace et productif devant une machine I arrêter d'utiliser la souris Environnement de travail I I I I I édition de code : emacs programmation shell initiation à un système d'exploitation : GNU/Linux (Debian) initiation à un langage interprété : bash initiation à un langage compilé : LATEX Réussir : environnement de travail (entre autre) I acquérir des automatismes I comprendre la notion de langage informatique I pratiquer, pratiquer et pratiquer IF104 : Organisation Résumé du contenu I I I Unix : I système d'exploitation, I système de chiers, I interactions avec le système, ligne de commande Bash : I interpréteur de commandes, I commandes de base à connaître, Emacs : I utilisation I conguration I mode avancé I LATEX : cycle de production (compilation) ; I mettre en forme un document scientique, I réalisation de présentation, I insérer des équations, des graphiques Scripts Shell : I commandes avancées I programmation shell (scripts) I I IF104 : Organisation Pour les étudiants originaires de prépas I I 6 séances de 4h sur machines pré-requis pour après IF104 : séries, intégrales, algèbre linéaire Pour les étudiants non originaires de prépas I I I 3 séances de 4h de remise à niveau en math (séries, intégrales, algèbre linéaire) 3 séances de 4h sur machines (LATEX/ Scripts Shell) Pré-requis pour IF104 : Unix/Bash/Emacs Pour tous : partie théorique & beaucoup de manipulations/expérimentations/tests. IF104 : Examen (1h20) I I I QCM ; 40 questions ; aucun documents autorisés Pour les prépas : 20 questions infos sur Unix/Bash/Emacs Pour les non-prépas : 20 Questions math sur séries, intégrales, algèbre linéaire Pour tout le monde : ATEX et I Si possibilité d'avoir les salles machines : exercices L script Shell sur machine. ATEX et scripts Shell. I Sinon 20 questions supplémentaires sur L La ligne de commande suivante : export VAR="VAR"; echo "$var" ache à la console (a) VAR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (b) $var . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (c) rien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (d) var . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ressources informatiques à l'ENSEIRB-MATMECA Une fois le compte validé I Gestion du compte sur : http://aaa.ipb.fr I Une addresse mail [email protected]. I un compte utilisateur ~login avec un espace disque limité I Deux sites internet personnels. Attention I choisir un très bon mot de passe I toujours penser à se déconnecter Le bon usage de l'internet : un site à lire http ://fr.wikipedia.org/wiki/Nétiquette Le mail à l'ENSEIRB-MATMECA I I I I I I Plusieurs alias disponibles pour la même : I [email protected], [email protected], I [email protected], [email protected], I [email protected], [email protected] Rq : ipb.fr et bordeaux-inp.fr sont redirigées sur enseirb-matmeca.fr par défaut. A ne pas changer Utiliser là comme votre adresse professionnelle et non personnelle Savoir utiliser les diérents champs to:, cc:, cci: (bcc:) Un mail possède toujours un sujet Un mail commence toujours par : une formule de politesse et se termine toujours par une formule de politesse et une signature Le mail à l'ENSEIRB-MATMECA I I I Ne pas faire de mail-all Ne pas répondre aux mail-all inutiles par un reply-all Congurer son client mail : automatique sur la plupart des clients désormais, sinon https://www.enseirb-matmeca.fr/extranet/fr/support I I I Webmail : http://webmail.enseirb-matmeca.fr Pièces jointes : éviter les gros chiers, et/ou chiers non inter-opérables Savoir purger son courrier, l'eacer, le ranger Le compte à l'ENSEIRB-MATMECA I I I I I I Accessible via ~login Vous êtes responsables de votre compte Votre compte ne doit pas être prêté L'espace disque est limité : attention au images, vidéos, logiciels installés, sauvegarde des mails Attention au contenu : problème de licence logiciel, peer-to-peer, Espace disque : sous linux commande du -sh ~, sinon https: //www.enseirb-matmeca.fr/extranet/fr/support/espace-disque I Compte accessible via l'extérieur par ssh sur la machine ssh.enseirb-matmeca.fr I I Travailler sur travail32 ou travail64 Ne pas travailler sur la frontale Le site personnel à l'ENSEIRB-MATMECA I Possibilité d'avoir deux sites internet : un site visible de l'extérieur I I http://login.vvv.enseirb-matmeca.fr Seulement en html statique. un site visible seulement sur le réseau local I I I I I I I I I I http://login.vvvpedago.enseirb-matmeca.fr Accès à php et à une base de données mysql Utilisation pédagogique Information sur : http://vvv.enseirb-matmeca.fr Penser à mettre un chier index.html même vide pour ne pas avoir d'erreur 403. Création d'un site via le langage de description HTML, beaucoup de tutoriaux, d'exemple sur internet. Pas de cours. Solution pour le partage de chiers non envoyable par mail Possibilité de présenter ses projets, son CV, ses intérêts professionnels, . . . Attention au contenu : images, photo, . . . Espace professionnel et non personnel Le Wi à l'ENSEIRB-MATMECA I I I Réseau eduroam : I Réseau disponible dans toutes les universités participantes dans le monde avec le même compte I Attention au login : [email protected] Réseau IPB : I Réseau disponible dans toutes les écoles de l'IPB et donnant accès aux pages accessibles que par le réseaux. I Attention au login : login Attention aux multiples réseaux ad-hoc qui sont disponibles dans l'école → problème de sécurité Impression à l'ENSEIRB-MATMECA I I I I Limitation à 350 pages par an (moyenne de 80% des étudiants l'an passé) Imprimantes sectorisées : impossible d'imprimer sur une imprimante à l'autre bout du bâtiment accessible en wi via Samba (Service non maintenu en production donc probables disfonctionnements) Accès aux serveur cups pour avoir les informations sur les les d'impression, supprimer ses jobs, voir si ils sont nis, ... I I I Sur réseau laire : http://lp.enseirb-matmeca.fr:631 Sur réseau Wi : http://lpwifi.enseirb-matmeca.fr:631 En cas de bourrage papier, de manque de papier, d'encre, ... → contactez le service informatique I http://helpdesk.enseirb-matmeca.fr Groupe 1 MSIO Faverge Mathieu 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. BAGHOU Marwane BLONDEL Angélique BOUKRIM Hamza BROC Clara CHAN Alexis CHEKNOUN Amine COOK Clément DURAND Antoine HELOU Cédric HING Laura KANGBÉNI Marvin KHATOUF Mohamed Amine LE MOIGNE Yves LÉPINE Antoine 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. LEVALLOIS Vincent MATTICHE Mohamed-Said MADKOUR Chaq MILESI Joachim MISSAOUI Souane MONTAIGU Thomas PETRO Romain RAKOTOSAONA Marie-Julie RONZIÉ Maxence SEDRATI Youssef THIERY Etienne ZACCHELLO Jean-Baptiste AL KHALILI Jamal * ZAHAR Guillaume * Groupe 2 I101 Ziane Lilia 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. AGRY Tom AMARI Yanis BENNANI KEMMOUN Btissam BOUCHERIE Raphaël CASSIAU Sylvain CHAMBRE Jonathan CONNAULTE Julien DESCHAMPS Mathieu FEHRI Azza GARITAINE Clément GUILLOT Etienne 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. LE PAPE Erwan LE VERN Florian MACH Rémi PLUMIER Pierre RIFKI Imane SALIOU Etienne SERRANO Thomas SKIADA Alexandre TOROMANOFF Alexis FOUCHER Valentin * Groupe 3 I107 Bindel Sebastien 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. ARKOUBI Saad BOREL Hugo BOUGHROUDI Mehdi BOUNAKHLA Mehdi COMBES Gaëtan CRÉTÉ Bastien D'ESPARBES Romain DELMON Luc DI MERCURIO Thomas FICHANT Florian FTOUHI Hafsa 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. GHANEM Gihane GRELET Léo GRUCHET Sébastien HAYAK Omar HYLLAIRE-GRANON Tanguy LOUVART Pierre MAUGERE Lucas MIJIEUX Thomas PARMENTIER Flora BESCOND Thomas * RIHANI Mohammed * Groupe 4 I115 Neggaz Mohammed Yessine 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. AYMES Romain BELGADI Mohamed BOULCH Raphaël BRÈS Nicolas CALAS Ambre COEURET Bastien COUSTIÉ Oihana DÉHAIES DIT GERVAIS Nicolas DODELIN Hugo EL AMRI Mehdi GOURRIN Nicolas 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. GRALL Alexis MARGUERIT Florian MOUSSAID Fatima Zahra REAVAILLE Nathan SAINT GUILHEM Victor SANNIÉ Kévin SOULAÏMANA Wardi TOUSSAINT Henri WESLATI Eya MEYZEN Pierre * Groupe 5 TD14 - Michel Thomas / I111 - Bourgeade Laetitia 1. 2. 3. 4. 5. 6. 7. 8. BEA Guillaume CATANESE Antoine CHASSAIGNE Théo GANGLOFF Nolwenn HARSCOET Quentin JELLAB Nicolas MILLIET Alice OUDOT Bastien 9. 10. 11. 12. 13. 14. 15. PERIN Hervé PETIT Mathieu RAMBAUD Romain ROBERT Hitinui ROUX Pierre SCALZI Vincenzo TRECU Damien Si vous avez ratez le test anglais Aujourd'hui 14-16h au CReL 1. 2. 3. 4. 5. 6. AFKIR Zakaria AL KHALILI Jamal BELLAZRAK Mohammed Nezar BOUGHROUDI Mehdi DELMON Luc DURAND Antoine 8. 9. 10. 11. HARDAF Hatim RAMBAUD Romain ROUVIER Tony SAKKAT Aymen Avez-vous bien suivi ? I I I Si il y a un problème, n'hésitez pas à poser la question : à votre encadrant de TD, au responsable du cours, aux services informatiques (helpdesk), ... Mais AVANT n'oubliez pas RTFM Prenez votre smartphone, ou votre pc si vous en avez, sinon mettez vous avec votre voisin I http://mfaverge.vvv.enseirb-matmeca.fr