Tutos

Des tutos sur tout et n'importe quoi en rapport avec l'info

Messagerie

Messagerie

Informations générales sur les Mails

L'envoi de message avec une adresse @insa-toulouse.fr n'est possible que depuis le webmail ou en utilisant le serveur d'envoi SMTP de l'INSA (mel.insa-toulouse.fr).

Les mails sont accessibles pendant toutes vos études, mais resteront actifs tant que vous les utilisez après votre diplomation. Il est donc possible de les utiliser en tant qu'adresse professionnelle !
Source : https://csn.insa-toulouse.fr/fr/outils-collaboratifs/alumni.html
plus d'informations sur l'inscription/les adresses mails : https://csn.insa-toulouse.fr/fr/vous-arrivez-ou-vous-partez/etudiant.html

 

 

Messagerie

Recevoir ses mails INSA sur un logiciel (Recommandé)

Thunderbird, Outlook, K9-Mail, peut importe le logiciel, il est possible de recevoir vos mails sur l'un d'eux. L'important est de bien entrer la configuration des mails INSA lors de l'ajout de la boite mail.

Il arrive que les logiciels soient capable de détecter la configuration automatiquement. SI c'est le cas, bravo vous n'avez qu'a rentrer votre mail INSA et votre mot de passe. Si cela ne marche pas, il faudra rentrer la configuration ci-dessous à la main.

Configuration mail

Voici la configuration à entrer lorsque vous ajouter une adresse mail à un logiciel. Si vous ne comprenez pas tout ce n'est pas grave, assurez vous juste de bien entrez les mêmes informations.

Serveur Entrant (Pour recevoir les mails)
Type : IMAP
Serveur : imap.insa-toulouse.fr
Port : 993
Sécurité : SSL/TLS
Serveur Sortant (Pour envoyer les mails)
Type : SMTP
Serveur : smtp.insa-toulouse.fr
Port : 465
Sécurité : SSL/TLS
Messagerie

Recevoir ses mails INSA sur son Gmail

Il est possible de gérer deux adresses mail avec votre compte gmail. Tout les messages reçus sur votre boîte INSA seront placés dans un libellé et vous pourrez envoyer des mails en passant par les serveurs de l'insa.

Il est toutefois recommandé d'utiliser un logiciel de gestion de mail ou l'interface Web.

Réception des mails

image-1598449927965.png

image-1598449932042.png

=>Vous pouvez personnaliser le libellé dans lequel sont rangés les mails de l'INSA (pour l'apeller Mail INSA par exemple) en cliquant sur la liste déroulante puis en sélectionnant "nouveau libellé".

Validez. Vous allez voir plein de nouveaux messages non lus apparaître dans votre boîte de réception, c'est parceque Gmail récupère tout vos messages depuis le serveur de l'insa. Laissez faire jusqu'à ce qu'ils aient tous été récupérés (ça peut être trèèès long)... Vous pouvez pendant ce temps passer à l'envoi de mails, il vous suffira ensuite de les marquer comme lus (en utilisant des filtres si vous voulez tous les faire d'un coup par exemple).

 

Messagerie

Recevoir ses mails sur BlueMind

BlueMind est le site utilisé par l'INSA pour recevoir les mails. Si vous n'avez pas envie de configurer quoi que ce soit, il vous est toujours possible d'y accéder avec un navigateur internet. Pour cela, rendez-vous sur ce site et rentrez vos identifiants INSA.

Il a été remonté que ce site n'est souvent pas compatible avec des navigateurs tels que safari ou de vieilles versions d'Internet Explorer/Edge. Nous vous recommandons un navigateur comme Mozilla Firefox pour avoir accès à la totalité des fonctionnalités.

Messagerie

Envoyer un mail-all

Vous pouvez maintenant envoyer un mailall en passant par le site de l'amicale si vous êtes président ou vice-président d'un club.

Mais vous pouvez toujours envoyer votre mail à l'adresse mailall@etud.insa-toulouse.fr. 

Notez que nous recevons tous déjà une quantité faramineuse de mails, donc pour éviter de spammer tout l'établissement, n'envoyez des maillall que si nécessaire. 

FAQ

Emploi du temps

Il existe de nombreuses manières d'accéder à ton emploi du temps. Tout est expliqué ici pour que tu puisses choisir la méthode qui te convient le plus.

Emploi du temps

Sur Internet

L'INSA mets à disposition 2 sites internet pour accéder à votre emploi du temps.

Planex

Planex est un site permettant un accès rapide à son emploi du temps, sans avoir à se connecter. En contrepartie, il n'est pas possible de voir le nom des professeurs (pour des raisons de vie privée/sécurité) ni d'afficher plusieurs emploi du temps en même temps.

Pour une version plus simple à utiliser sur mobile, vous pouvez utiliser l'application étudiante Campus.

ADE

ADE est la source principale d'emploi du temps de l'INSA. Il est nécessaire de se connecter avec ses identifiants INSA pour pouvoir accéder à ce service. Contrairement à Planex, vous pouvez voir le nom de vos professeurs, et afficher plusieurs groupes en même temps.

En revanche, ce site est beaucoup plus lourd que Planex, et est peu utilisable su mobile.

Vous avez la possibilité de synchroniser votre agenda Google à ADE ou d'utiliser l'application étudiante Campus pour accéder à une version de Planex adaptée mobile.

Emploi du temps

Sur l'application mobile Campus

Une version de Planex adapté mobile est disponible sur l'application Campus (Android, iOS). Cette version ajoute aussi des fonctionnalités, comme la possibilité d'ajouter des groupes en favoris, un thème sombre, une interface plus simple à utiliser et des corrections de bugs.

Emploi du temps

Synchronisé sur ton téléphone / ordinateur

Cette page va vous expliquer comment vous pouvez simplifier votre démarche d'ouverture de votre agenda en synchronisant automatiquement ADE sur votre téléphone.

Obtenir le lien de l'agenda

Tout d'abord, rendez-vous sur ADE et ouvrez le ou les agenda(s) que vous souhaitez synchroniser.

image-1598445542517.png


Une fois les agendas sélectionnés, appuyez sur l’icône "Export Agenda" situé dans le menu de gauche. Cela ouvre une fenêtre vous permettant d'exporter les agendas dans un fichier (ce qui ne nous intéresse pas ici), ou d'obtenir le lien que nous cherchons. Cliquez donc sur Générer l'URL :

image-1680358638076.png

Dans mon exemple, cela me permet de récupérer cette adresse : https://edt.insa-toulouse.fr/jsp/custom/modules/plannings/...

Pensez à spécifier les bonnes dates que vous voulez ?

Synchronisation sur Appareil

Android

Vous pouvez installer une application de synchronisation de flux iCal comme iCalSync. Cela vous permettra d'importer automatiquement des emplois du temps et même de mettre un rappel 15 minutes avant chaque cours par exemple.

Vous pouvez utiliser l'application de calendrier de base ou une autre si celle-ci ne vous plaît pas. (Nous recommandons Etar si vous ne savez qu'utiliser pour sa simplicité et son respect de la vie privée).

Ordinateur

Vous pouvez installer une application lisant les flux iCal Telle que Thunderbird, Outlook, Evolution, Kalendar… Ces applications gèreront elles-mêmes la récupération des emplois du temps et leur affichage.

Comment faire avec Thunderbird (disponible sur Windows et Linux, fonctionne probablement sous apple)

À noter que sur Linux Kalendar (voir juste en dessous) est un logiciel bien plus minimal, si vous avez juste besoin d'un calendrier (et pas également de regarder vos mails, de suivre votre actualité etc). Par contre il ne peut pas synchroniser après l'import

Pour créer un calendrier : menu → new → Calendar → on my computer → choisissez le nom de votre calendrier.

Pour importer le calendrier, rendez-vous dans le menu de Thunderbird

image-1680634338482.png

Importez le fichier ical

image-1680634363185.png  image-1680634394345.png

Il vous suffit ensuite de suivre les instructions

image-1680634421857.png

Rentrez le lien et cochez la première case :

Comment faire avec Kalendar (disponible sous linux)

 Ici on télécharge l'emploi du temps une seule fois on ne le synchronise pas ! Il faudra donc cliquer sur le lien plutôt que de le copier à cette étape

Cliquez sur import Calendar

image-1680610786138.png

Et sélectionnez votre fichier ical

Vous pourrez ici choisir si vous voulez le fusionner avec un autre calendrier ou en ajouter un autre :

image-1680611061746.png

Vous pouvez ainsi avoir votre calendrier sur votre ordinateur !

Apple

Une fois le lien du calendrier récupéré comme expliqué ci-dessus. Il suffit d'aller dans Réglages > Calendrier > Comptes > Ajouter un compte > Autre > Ajouter un cal. avec abonnement puis de coller le lien dans la case Serveur et de valider. Normalement, si tout va bien, vous verrez dans l'application calendrier native l'emploi du temps.

Remarques

Prenez note qu'une modification de votre emploi du temps sur l'ADE peut prendre jusqu'à 48h avant d'être répercutée sur votre appareil. Dans tous les cas, c'est la version en ligne d'ADE qui sera considérée comme exacte.

Emploi du temps

Sur Google Agenda, NextCloud Agenda ...

Cette page va vous expliquer comment vous pouvez simplifier votre démarche d'ouverture de votre agenda en synchronisant automatiquement ADE avec votre compte Google, et donc avec votre smartphone.

Obtenir le lien de l'agenda

Tout d'abord, rendez vous sur ADE et ouvrez le ou les agenda(s) que vous souhaitez synchroniser avec votre compte Google comme ci-dessous.

image-1598445542517.png


Une fois les agendas sélectionnés, appuyez sur l’icône "Export Agenda" situé dans le menu de gauche. Cela ouvre une fenêtre vous permettant d'exporter les agendas dans un fichier (ce qui ne nous intéresse pas ici), ou d'obtenir le lien que nous cherchons. Cliquez donc sur Générer l'URL :

image-1680358638076.png

Dans mon exemple, cela me permet de récupérer cette adresse : https://edt.insa-toulouse.fr/jsp/custom/modules/plannings/...

Import dans Nextcloud

Une fois le lien copié, rentrez-le dans la section "Settings and Imports":

image-1675928429475.png

Plus d'informations ici

Configuration de Google Agenda

Importer le calendrier

Connectez vous désormais à Google Agenda.

Dans le menu de gauche, déroulez le sous-menu "Autres agendas" :

Sélectionnez alors "Ajouter par URL". Copiez dans la fenêtre qui apparaît l'URL de l'agenda obtenue sur ADE. Puis validez en cliquant sur "Ajouter".

Après un léger temps de chargement, votre agenda devrait apparaître.

Synchronisation sur smartphone

Android

Synchroniser un compte Nextcloud

Il vous suffit d'installer l'application Nextcloud sur votre téléphone, votre agenda est automatiquement synchronisé. Pour vous en rendre compte, il vous suffit d'accéder à l'application Agenda de votre téléphone : votre planning ADE devrait y apparaître (il est possible qu'il y ait un délai entre la manipulation sur ordinateur et l'apparition sur le smartphone).

Utiliser Google

Android est optimisé pour un usage lié aux services Gmail, Google Calendar, Google Drive, etc... Cela signifie que lorsque vous paramétrez votre smartphone android avec votre compte Google, votre agenda est automatiquement synchronisé. Pour vous en rendre compte, il vous suffit d'accéder à l'application Agenda de votre téléphone : votre planning ADE devrait y apparaître (il est possible qu'il y ait un délai entre la manipulation sur ordinateur et l'apparition sur le smartphone).

 

Si la synchronisation tarde à se faire après de nombreuses heures, vérifiez les paramétrages de compte et de synchronisation sur le téléphone. Vérifiez également sa connexion internet.

Remarques

La méthode de synchronisation de l'ADE a ici été utilisée conjointement avec Google Calendar. Sachez qu'il est possible d'effectuer une opération similaire avec tout logiciel ou service en ligne capable de lire un flux iCalendar (aussi nommé iCal ou ICS). Ainsi, il sera possible de synchroniser ADE avec Outlook, Hotmail, et sans doute de nombreux autres services.

Prenez également note qu'une modification de votre emploi du temps sur l'ADE peut prendre jusqu'à 48h avant d'être répercutée sur votre Google Calendar ou sur votre smartphone. Dans tous les cas, c'est la version en ligne d'ADE qui sera considérée comme exacte.

Logiciel pour l'Ada

Logiciel pour l'Ada

Résolution de problèmes courrants de machines virtuelles

Vous pouvez contacter le club info ici si vous n'arrivez pas à résoudre votre problème : club.info@amicale-insat.fr

Ma machine virtuelle ne démarre pas !

image-1598450233879.png

Mon écran est devenu tout petit suite à une mise à jour !

VirtualBox se met régulièrement à jour et il est possible que lors d'une mise à jour l'écran de la machine virtuelle devienne tout petit, ce qui est gênant. Pas de panique, une manipulation simple permet de tout remettre comme il faut.

Internet ne fonctionne pas sur ma machine virtuelle !

La machine virtuelle a été configurée pour que internet fonctionne si l'on a le VPN de l'INSA de connecté. Si vous n'avez pas le VPN, voici la manipulation à faire :

Remarque : Ce qui est en dessous (dans la fenêtre) doit être grisé

Logiciel pour l'Ada

Installer une machine virtuelle Ada

Avant de vous lancer dans l'installation de cette machine virtuelle, veuillez tester cette alternative plus facile et rapide : TPs Informatique

Vidéo

Voici une vidéo expliquant la procédure d'installation de la machine virtuelle

Prérequis

Pour installer la machine virtuelle des TP d'ADA sur votre PC, procédez comme suit :

Il est possible que cette image disque ne fonctionne pas sur les ordinateurs équipés d'un processeur ARM (MacBook récents, ...)


Merci de regarder la partie consacrée aux problèmes de fonctionnement, avant de contacter une des personnes citées sur cette page.

Installation de l'environnement

Importation de la machine virtuelle

image-1598450131903.png

image-1598450144611.png

Vérifications

image-1598450153935.png

Remarque : vous pouvez modifier les ressources que vous attribuez à la machine virtuelle grâce à cette option "configuration", 
c'est à dire y laisser plus de mémoire vive, plus de mémoire graphique...

Attention : lorsque la machine virtuelle va être démarrée, les ressources que vous lui avez alloué vont être utilisées ce qui peut faire "ramer" votre machine hôte (sous Windows).

Lancement/Fermeture de la machine

 Récapitulatif pour la machine Debian
 Nom d'utilisateur : user
 Mot de passe de l'utilisateur : user

 Nom du superutilisateur: root
 Mot de passe du superutilisateur: root

Si votre machine ne démarre pas, ne paniquez pas, allez voir cette section!

Voici un exemple sous Ubuntu :

image-1598450164606.png



Éteindre la machine virtuelle

Outils pratiques

La suite des étapes constitue quelques remarques pratiques, elle n'intervient donc pas pour installer la machine virtuelle.

Avoir accès aux fichiers des sessions INSA

Vous ne le savez peut être pas mais vous pouvez avoir accès depuis chez vous aux fichiers stoqués sur votre session de l'INSA. Pour ce faire, vous aurez besoin de vous connecter au réseau de l'INSA, soit en VPN, soit directement sur InvitéINSA.

Si vous n'arrivez pas à vous connecter en effectuant ce qui suit, vous pouvez tout de même transférer vos fichiers de la machine vers votre session (et inversement) avec une clé USB. Pour accéder à celle-ci depuis la machine virtuelle, allez voir la section correspondante.


NE MODIFIEZ PAS LES FICHIERS SUR LE SERVEUR, COPIEZ LES SUR LE BUREAU DE VOTRE MACHINE VIRTUELLE !. Si votre programme ne compile pas, assurez vous que vous n'êtes pas en train d'essayer de compiler le fichier directement sur le serveur!

Voici la procédure pour accéder à vos fichiers. Vous serez ainsi connecté à vos fichiers de l'INSA JUSQU'A LA FERMETURE DE LA MACHINE VIRTUELLE. Quand vous ré-allumerez votre machine, la connexion n'y sera plus et vous devrez vous reconnecter.

Assurez-vous d’être soit connecté sur la wifi InvitéINSA (disponible sur le campus), soit sur une autre wifi avec le VPN actif. Pour ce faire, lancez le fichier vpn situé sur le bureau, et entrez le nom d'hôte vpn.insa-toulouse.fr, votre login et votre mdp

Première connexion

image-1598450176447.png

image-1598450186199.png

Connexions suivantes

Si vous avez suivi la procédure précédente, vous connecter à votre session est facile. Ouvrez le gestionnaire de fichiers, et dans la liste à gauche, cliquez sur le marque-page que vous avez ajouté précédemment (en vous assurant d’être connecté au réseau INSA).

Accéder à sa clé USB

Il est possible d'avoir accès à sa clé USB depuis la machine virtuelle. Pour cela, cliquez dans la barre de menu sur "Périphériques" ou "Devices" si vous avez VirtualBox en anglais. Dans ce menu, sélectionnez "USB", puis votre clé USB. Il y a sûrement plusieurs appareils listés même si vous n'avez branché qu'une seule clé. Celle ci devrait avoir "Mass storage" dans son nom, vous pourrez ainsi la trouver facilement.

Une fois que vous avez cliqué sur votre clé, celle-ci devrait s'ouvrir dans la machine virtuelle (attendez quelques secondes, cela peut prendre plus ou moins de temps suivant votre ordinateur). Si rien n’apparaît, refaites la procédure mais en sélectionnant un autre appareil dans la liste.

Créer un fichier avec Emacs

Voici comment créer un fichier avec Emacs (ça sert toujours!)

image-1598450194001.png



Créer un fichier avec Emacs

image-1598450201577.png



Enregistrer le fichier créé sous Emacs

Avoir une machine virtuelle en plein écran

Vous vous rendrez compte sous peu que votre machine virtuelle est vite petite.

image-1598450209586.png



Plein Ecran

Lecteur de disque virtuel

Vous pourrez avoir besoin de créer un lecteur de disque virtuel sur votre machine virtuelle (pour monter une image disque dessus par exemple avec daemon tools).

Annexe : à propos des enseignements de 2ème année (MIC et IMACS)

TP d'UNIX

Lors des TP d'Unix on vous apprend tout plein de commandes sympas que vous pouvez tester dans un terminal sous linux, mais vous n'avez peut-être pas de machine sous linux que vous pourriez utiliser. Du coup vous pouvez utiliser cette machine virtuelle, ou vous en créer une spécifiquement, si vous cassez quelque chose vous aurez juste à réinstaller Ubuntu sur une nouvelle machine virtuelle : facile et sans risque!

Il y a plein de bêtises que vous pouvez tester, par exemple faire un rm -rf /* ou encore un kill -9 0 (le processus père), mais vous découvrirez ça par vous-même!

TD et TP de C

Lors des TD et TP de C, il vous sera demandé de coder des programmes dans ce language. Celui-ci est déjà installé dans cette machine,

Amusez-vous bien!

Logiciel pour l'Ada

Installer GNAT pour compiler de l'Ada en local !

Si vous préférez ne pas passer par montp ou par une machine virtuelle pour pouvoir coder en Ada, vous pouvez installer le compilateur GNAT directement sur votre ordinateur.

Cette page est consacrée à vous expliquer comment le faire sur les différents systèmes d'exploitation.

Rendez-vous directement à la section qui vous intéresse le plus:

Linux

Dans cette section, on va partir du principe que vous utilisez un Linux qui possède APT parce que vous êtes à l'INSA Toulouse et utilisez donc probablement Ubuntu.

sudo apt update
sudo apt install gnat

Rendez-vous à la section Utiliser GNAT pour la suite.

MacOS

Ne marche apparement pas/plus : proceed with caution
En cas de doute préférez l'utilisation de monTP, les macs ne sont pas trop faits pour l'informatique et très long à débugguer ?

sudo nano .zshrc
export PATH=/Users/[TON NOM UTILSATEUR]/opt/GNAT/[ANNÉE QUE TU AS SELECTIONNÉE SUR LE SITE]/bin:$PATH

Windows

À venir ...

En attendant, vous pouvez installer un linux ou utiliser WSL

Utiliser GNAT (Linux et MacOS)

gnat --version
gnat make [NOM DU FICHIER].adb
gnatmake [NOM DU FICHIER].adb

Bien joué ! Vous pouvez maintenant utiliser GNAT sur votre machine !

Logiciel pour l'Ada

Tech.io faire de l'ada sans rien installer (hormis firefox)

Tech.io

Tech.io est un service utilisable comme une alternative à monTP ou à se déplacer en salle SS14 et se rendre compte qu'elle est déjà occupée, zut :

Tech.io, contrairement à monTP ne se connecte pas à votre session INSA, vous ne pourrez pas y récupérer le travail fait sur un PC de l'INSA, pour cela voir la page suivante.

Ressources d'exercices extraites de la page d'informations sur les TPs:

Git

Git

Utiliser Git

Git est un outil formidable pour assister les développeurs, permettant d'enregistrer tous les changements faits au code ainsi que de partager ce code avec d'autres personnes.

Pour l'installer, consulte ce tuto.

Il existe de nombreux tutoriels pour apprendre à l'utiliser, mais en voici une petite sélection :

Partager votre code avec Git

Il existe de nombreux services permettant de partager votre code en utilisant Git les plus connus étant :

 

Git

Installer git

Git est un outil de versioning très puissant et répandu (voir Utiliser git).

Si tu a rencontres un problème pendant ton installation ou si tu as une question, n'hésite pas à venir nous poser une question sur le discord du Club Info !

Linux

Rien de plus facile. Installe la Command Line Interface (CLI) en suivant ces instructions (dans le terminal).

Windows

Utilise l'outil d'installation Windows.

Mac

Plusieurs méthodes s'offrent à toi. On utilise ici Homebrew.

Afin d'installer Homebrew, ouvre un terminal et utilise la commande suivante (copier-coller avec Cmd+Shift+V):

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"

(toujours faire confiance aux commandes trouvées sur un wiki étudiant /s)

L'installation est interactive, c'est à dire qu'elle te demande avant d'agir.

Si l'installation s'est correctement déroulée, installe git avec :

brew install git

Normalement la version devrait s'afficher en tapant :

git --version

Félicitations ! Tu as installé git! Tu peux continuer ton périple et apprendre à l'utiliser !

 

Savoirs-faire intéressants

Savoirs-faire intéressants

Sniffer (= regarder) les packets échangés

Pour les 3MIC et 4IR et pour tous les autres qui doivent à un moment faire un programme qui échange des données en réseau, débugguer peut êter pénible. C'est là qu'on peut vérifier que les packets s'envoient bien (ou non) pour savoir où rechercher l'erreur.

Pour ce faire, on va utiliser Wireshark qui est disponible sur n'importe quelle distribution digne de ce nom (insérer ici une blague sur Haiku) qu'on peut installer par exemple sous Ubuntu avec :

sudo apt install wireshark

Une fois ouvert, il vous faudra sélectionner un interface (ou tous) sur lequel écouter.

Vous pourrez dans la barre en haut filtrer les packets avec des règles (et c'est recommandé au vu du nombre de packet qui passent ?).

Exemple de filtres:

// ne laisse passer que les packets TCP 
tcp

// ne laisse passer que les packets TCP entre 192.168.1.33 et 192.168.1.65
tcp  && ((ip.src == 192.168.1.33 &&  ip.dst == 192.168.1.65)||(ip.dst == 192.168.1.33 && ip.src == 192.168.1.65))
Savoirs-faire intéressants

Créer automatiquement des diagrammes pour tes rendus

Permet de faire des diagrammes comme ça en 2 clics:

image-1674841342079.png        image-1674841368960.png

 

 

InteliJ (et les autres outils Jetbrains)

Générer un diagramme de Classe ... avec classe

Tuto pour utiliser le générateur installé de base

Générer un diagramme de séquence sans galérer à positionner les acteurs

Installez ce plugin et suivez ce tuto

 

 

 

Savoirs-faire intéressants

Compiler un projet avec Gradle et JavaFX

Les exemples fournis ici sont codés avec Gradle KTS, si tu codes avec Groovy, voici un lien vers le projet OpenJFX qui explique la mise en place de JavaFX sous Gradle : https://github.com/openjfx/javafx-gradle-plugin

Tu es actuellement en plein projet Java de 4A-IR (ou en plein projet personnel) et tu cherches à build ton projet JavaFX (car Swing, c'est quand même pas ouf) et Gradle ? Tu es au bon endroit ! 

Conseils de logiciels (IDE)

Pour ce faire, je te conseille tout d'abord d'utiliser l'IDE IntelliJ IDEA, qui est gratuit avec ton adresse mail étudiant (petite aide pour l'installer : https://wiki.etud.insa-toulouse.fr/books/licenses-logiciels/page/jetbrains), et qui te permettra bien des galères par rapport à Eclipse. Néanmoins, le tutoriel est censé fonctionner quelque soit l'IDE ou l'éditeur utilisé (même emacs pour les plus téméraires !)

Configuration

Une fois cela effectué, ouvre ton fichier build.gradle.kts, et procède aux modifications suivantes : 

plugins {
    id("org.openjfx.javafxplugin") version "0.0.13"
}

Liste des versions supportées par Gradle : https://mvnrepository.com/artifact/org.openjfx/javafx-plugin?repo=gradle-plugins

javafx {
    version = "17.0.2" // Ici ta version de JavaFX qui correspond à ta version de Java
    modules("javafx.controls", "javafx.fxml")
}

Dans ce code d'exemple, seules les fonctions de base sont ajoutées afin de ne pas allonger le temps de compilation. Pour obtenir l'ensemble des modules disponibles (pour le support du BootStrap par exemple) : https://openjfx.io/javadoc/11/

dependencies {
    implementation("org.controlsfx:controlsfx:11.1.1")
    // Dans le cas d'ajout de bootstrap dans les modules
    implementation("org.kordamp.bootstrapfx:bootstrapfx-core:0.4.0")
}

Et... c'est tout ! C'était pas si compliqué ? ?

Build !

Pour build ton projet, lance la commande gradle build sur ton terminal, et normalement ton application devrait se lancer ! :) 

Problèmes fréquents

L'application ne trouve pas de main

-> N'oublie pas de déclarer ta classe contenant le main que tu veux exécuter dans ton build.gradle.kts

application {
// org.example.Main à remplacer par le chemin vers la classe qui contient ton main
    mainClass.set("org.example.Main") 
}

J'utilise un Mac avec processeur ARM (M1/M2) et le build m'indique que JavaFX ne peut pas s'installer

-> Cela se produit car la version ARM (aarch64) n'existe pas par défaut lors de l'installation par gestionnaire Gradle. Pour ce faire, exécutes une première fois ton build sur les machines de l'INSA, push ton projet sur Git et relance-le sur ton Mac. Une fois cela effectué tout devrait fonctionner :)

Attention : il ne faut pas que le paramètre compileOnly soit activé, auquel cas cette manipulation ne fonctionnera pas !

Linux

Linux

Installation de Linux (exemple à partir d'Ubuntu)

Étape 1 : installer Ubuntu sur une clef USB

-Se munir d'une clef USB de 8 Go minimum ;

-Télécharger une image Ubuntu au format ISO (https://ubuntu.com/download/desktop), préférer une version LTS (Long Term Support) qui sera prise en charge plusieurs années ;

-Télécharger UNetbootin (https://unetbootin.github.io/) pour permettre l'installation d'Ubuntu sur la clef USB de manière à ce qu'il soit bootable ;

-Dans UNetbootin, séléctionner "DisqueImage" et mettre le menu sur "ISO" ;

-Séléctionner l'image ISO et lancer l'installation (avertissement : la clef USB sera formatée).

Étape 2 : installer Ubuntu sur une machine

-Insérer la clef USB dans la machine ;

-Démarrer la machine et ouvrir le Boot menu (la touche d'accès au Boot menu dépend du modèle de l'ordinateur : https://www.malekal.com/liste-touches-acces-bios-boot-menu-constructeur/#Par_marque_de_PC) ;

-Démarrer sur la clef USB, l'installation d'Ubuntu devrait se lancer ;

-Conseil : installer le système d'exploitation de préférence sur un disque dur SSD plutôt que HDD, cela permettra de démarrer plus rapidement.

Linux

Diverses astuces et solutions à certains problèmes

"ACPI Error" (sous Ubuntu)

Généralement, le système ne se lance pas.

Dans un cas connu, c'est un problèmeau niveau de l'interface graphique suite à une mise à jour (sudo apt update puis sudo apt upgrade), qui a mis en conflit des librairies de la carte graphique (Nvidia), étant donné que la commande sudo apt upgrade ne détruit pas les librairies obsolètes. Opter plutôt pour sudo apt update puis sudo apt full-upgrade les prochaines fois, comme cela, les librairies obsolètes seront supprimées.

Il faut accéder à une session TTY (commande ALT+F1 ou CTRL+ALT+F1 pour faire apparaître l’invite de connexion de TTY1, commande ALT+F2 ou CTRL+ALT+F2 pour faire apparaître l’invite de connexion de TTY2 etc. Ceci jusqu'à l'invite de connexion TTY6).

À partir de là, entrer la commande sudo nano /etc/default/grub puis modifier la ligne GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" par GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi=off" (il est aussi possible d'essayer GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi=strict").

Continuer en mettant à jour la configuration avec sudo update-grub puis redémarrer reboot.

Normalement, le système devrait se lancer. Il peut arriver de rencontrer des pertes de performance (l'ordinateur ne s'éteint plus, la touche "fonction" du clavier ne fonctionne plus du tout, le clavier et la souris ne fonctionnent plus correctement etc.), dans ce cas, essayer sudo apt update puis sudo apt full-upgrade, si cela ne fonctionne toujours pas correctement, réinstaller Ubuntu.

Problème pour mettre un accent circonflexe ou tréma sur une lettre (sous Ubuntu) : Modifier l'agencement du clavier de "Français sans touche morte" à "Français".

Monter un disque en mode lecture-écriture : https://phoenixnap.com/kb/linux-format-disk

Activer le GRUB au démarrage (sous Ubuntu) : https://doc.ubuntu-fr.org/grub-pc

Activer le pavé numérique au démarrage (sous Ubuntu) : https://www.numetopia.fr/activer-la-touche-verr-num-au-demarrage-sur-ubuntu/

Désactiver le microphone (sous Ubuntu ou Linux Mint) : https://www.numetopia.fr/comment-desactiver-le-microphone-dans-ubuntu-ou-linux-mint/

Désactiver la webcam (sous Ubuntu ou Linux Mint) : https://www.numetopia.fr/comment-desactiver-la-webcam-sous-ubuntu-ou-linux-mint/

Installer la langue française sous LibreOffice (sous Ubuntu) : https://doc.ubuntu-fr.org/libreoffice

Entrer les commandes suivantes : sudo apt install libreoffice-l10n-fr | sudo apt install libreoffice-help-fr | sudo apt install hyphen-fr

F-Droid : Des applis respectueuses de ta vie privée

Introduction

F-Droid est un app Store comme le play store, mais ne contient que des applications open-source et respectueuses de la vie privée.

Installation

Il suffit d'aller sur le site de F-Droid depuis son téléphone et de cliquer sur le bouton téléchargement

image-1681367121709.png

Après quoi vous pourrez ouvrir le fichier téléchargé

Il est probable que votre téléphone vous demande si vous autorisez votre navigateur installer des logiciels. Dîtes "oui", vous pouvez révoquer cette permission à tout moment par la suite.

Il est probable que lors de votre première installation d'application via F-Droid on vous demande la même chose sur F-Droid

Vous pourrez ensuite télécharger les applications comme sur votre app store habituel.

Visual Studio Code

Visual Studio Code

Installer Visual Studio Code

Tu souhaites utiliser un IDE qui te permet de jongler entre les langages facilement et rapidement ? Alors Visual Studio Code est fait pour toi ! 

Cette première partie explique l'installation de l'outil (tu vas voir, ça va être rapide :)). 

Pour Windows et macOS  

Rien de plus simple, tu cliques sur ce lien et tu sélectionnes Windows ou macOS, l'installation se fait comme un logiciel classique (suivant, suivant, accepter, ...) : https://code.visualstudio.com/download

Pour le lancer, il suffira de... cliquer sur l'icône de Visual Studio Code, simple non ? 

Pour Linux

Ici, on s'intéresse aux distributions Linux basées sur Ubuntu. Dans le cas d'autres distribs (Arch, ...), j'imagine que vous avez les compétences de le faire tout seul si vous avez fait le choix de ne pas prendre un Ubuntu-like ;-)

Pour Linux, le fonctionnement va être un peu plus complexe... mais pas trop. 

Dans un premier temps on retourne sur le lien https://code.visualstudio.com/download et on installe la version .deb pour Ubuntu. 

Une fois installé, ouvrez un terminal, et placez vous dans l'emplacement où se le paquet. Puis exécuter la commande suivante

sudo dpkg -i code_*.deb

Elle permet d'extraire le contenu du paquet et de l'installer sur l'ordinateur. Vous aurez possibilité par la suite de déplacer le package généré pour le placer ou vous le souhaitez. 

Pour exécuter Visual Studio Code, il suffira par la suite de lancer la commande suivante : 

code

Pour les plus puristes, il est possible d'installer VSC via apt en exécutant les commandes suivantes : 

curl https://packages.microsoft.com/keys/microsoft.asc | gpg --dearmor > packages.microsoft.gpg
sudo install -o root -g root -m 644 packages.microsoft.gpg /usr/share/keyrings/
sudo sh -c 'echo "deb [arch=amd64 signed-by=/usr/share/keyrings/packages.microsoft.gpg] https://packages.microsoft.com/repos/vscode stable main" > /etc/apt/sources.list.d/vscode.list'

Ces commandes permettent d'installer les clés PGP et PPA permettant l'utilisation de VSC.

sudo apt install apt-transport-https
sudo apt update
sudo apt install code # or code-insiders

Ces commandes permettent d'installer Visual Studio Code ainsi que ses dépendances.

L'exécution se passe comme précédemment avec : 

code

Et voila, Visual Studio Code est installé ! 

Visual Studio Code

Installer des extensions sur Visual Studio Code

Je suppose que lorsque tu es arrivé ici, tu as déjà une installation fonctionnelle de Visual Studio Code. Si ce n'est pas le cas, réfères toi à la page précédente pour l'installer !

Visual Studio Code tout seul c'est bien, mais sans extension, on arrive vite aux limites de l'intérêt du logiciel... Apprenons donc à en installer pour adapter l'outil à tes besoins. 

Installation d'extensions

Pour installer des extensions, rends-toi dans un premier temps sur l'onglet extensions, représenté par des petits codes tous jolis (regarde l'image je pense que ça sera plus clair :-)) :

image-1683273563116.png

Une fois rendu ici, tu peux rechercher en fonction du langage ou principe que tu veux utiliser en écrivant son nom dans la barre de recherche. Il en existe... des centaines et des centaines, donc je vais te donner le nom de quelques unes qui te seront utiles lors de ta scolarité à l'INSA (surtout si tu fais IR), pour que tu puisses t'en sortir !

Quelques extensions indispensables

C/C++ : Je te conseille d'installer les extensions C/C++ , C/C++ Themes et C/C++ Extensions, éditées par Microsoft, qui permettent de gérer la coloration syntaxique et sémantique pour tes projets. 

Java : Je te conseille clairement pas d'utiliser VSC pour Java, utilise plutôt un IDE dédié tel que IntelliJ (pour l'installer : https://wiki.etud.insa-toulouse.fr/books/licenses-logiciels/page/jetbrains) ou Eclipse. 

Python : Tu peux installer l'extension Python éditée par Microsoft qui permet de gérer l'essentiel de ce dont tu auras besoin pour tes projets. 

OCaml : On commence ici à entrer dans les langages un peu plus obscures, mais qui te sera utile si tu rentres en 4IR-SI. Installe "OCaml and Reason IDE" par Darin Morrison. Il te permettra d'avoir une coloration correcte, mais surtout te donnera le type de tes variables à la volée... quand tu commenceras tu comprendras vite quel bonheur cela représente

Yacc/Lex : Alors, là, normalement, tu ne comprends pas de quoi je parle... Mais lorsque tu en auras besoin tu seras très heureux de tomber sur cette page ! Si tu as affaire avec ce langage de parsing/traitement de grammaires (si tu fais IR-SI et que ce n'est pas encore le cas... ton heure arrivera !), installe l'extension Yash qui permet de gérer la coloration syntaxique et la détection d'erreurs sur tes programmes. Ca t'évitera quelques heures de galère si tu comptais le faire sur un éditeur de texte classique. 

Accéder à l'annuaire de l'INSA

Tu cherches à contacter un enseignant, un personnel administratif... Et tu ne connais pas son adresse mail ? Tu peux utiliser l'annuaire de l'INSA pour t'aider ! ;-) 

Dans un premier temps, rends-toi sur le lien suivant : https://www.insa-toulouse.fr/fr/annuaire.html

Tu vas arriver sur une page ressemblant à celle ci : 

image-1683274674563.png

Tu peux faire ta recherche selon plusieurs critères : 

Il est également possible de chercher un contact général pour une entité (département de l'INSA, laboratoire, service...) en sélectionnant "rechercher des entités". En cliquant sur un élément de la liste déroulante, ses coordonnées connues seront affichées directement. 

 

Contribuer à OpenStreetMap

Introduction

OpenStreetMap, c'est un outil de cartographie open-source qui permet de s'affranchir de l'hégémonie de Google Maps (et de son API hors de prix) pour la réalisation de sites web, d'applications mobiles... ou juste pour consultation pour un utilisateur lambda. Il se base sur un système de contributions, qui permet de mutualiser les savoirs de chacun au service de tous. 

Comment contribuer ?

Il est possible pour tout un chacun de contribuer à OSM, sur différents supports. 

Dans un premier temps, vas sur à openstreetmap.org et créés toi un compte (les données ne seront pas utilisées à des fins commerciales, promis :-)). 

Pour contribuer, le moyen le plus simple est d'utiliser l'éditeur par défaut d'OpenStreetMap disponible sur openstreetmap.org. Pour y accéder, clique sur "Modifier". 

Il est possible de réaliser différents types de contributions : 

Ajouter des informations sur un lieu 

Pour ajouter des informations, il suffit de cliquer sur un point d'intérêt représenté comme ceci : 

image-1683276105705.png

Une fois cliqué, il apparait à gauche de l'écran une liste de champs permettant de donner plus d'informations. Libre à toi de les modifier ou d'en ajouter de nouveaux : 

image-1683276162603.png

Ajouter des routes ou des zones d'intérêt 

A l'aide de l'outil "Ligne", il est possible d'ajouter des routes, des chemins, des canaux... qui n'ont pas encore été cartographiés jusqu'alors. Pour ce faire il suffit de sélectionner l'outil, placer des points sur la zone concernée pour faire en sorte que la zone tracée corresponde à la zone réelle. Puis une fois cela effectué sélectionner le type d'ouvrage (route, canal, ...) puis renseigner les caractéristiques avec le même principe d'attribut que pour un lieu. 

Il est possible d'utiliser le même principe pour des surfaces (ville, zone agricole, ...) en utilisant l'outil surface. 

Voila un exemple dans le cas d'une zone agricole des attributs modifiables : 

image-1683276590339.png

Une fois votre contribution terminée, cliquez sur sauvegarder pour qu'elle soit ensuite analysée puis ajoutée au projet OSM ! :-) 

Utiliser le logiciel de transfert de fichiers de l'INSA

Tu veux transférer tes meilleures photos de chats à tes amis, et tu veux un outil simple pour y parvenir ? L'INSA à pensé à toi, et te propose l'outil FileSender pour partager tes fichiers ! 

Pour l'utiliser, clique sur le lien suivant : filesender.renater.fr. Pour te connecter, clique en haut à droite de ton écran sur le petit logo avec la personne debout (toute jolie :)). Sélectionne ensuite l'INSA de Toulouse, connecte toi via le CAS et accepte le transfert de données pour FileSender. 

Envoyer le fichier sur la plateforme

Clique ensuite sur "Déposer des fichiers" et cette fenêtre devrait apparaitre : 

image-1683280720952.png

Tu peux configurer la date d'expiration du lien ainsi que la langue. Tu peux aussi au lieu d'obtenir un lien envoyer à des destinataires directement depuis leur adresse mail. 

Configure les éléments que tu souhaites, et clique sur Envoyer. 

Partager le fichier envoyé

Une fois le transfert effectué, le lien apparaitra comme suit : 

image-1683280823378.png

Et voila, tu peux envoyer le lien du fichier à tous tes collègues ! :-)