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