Différences

Ci-dessous, les différences entre deux révisions de la page.

--- site:enseignement:master:mlbda:tmes:tpmondial [17/09/2021 18:46] – [Questions diverses] hubert
+++ site:enseignement:master:mlbda:tmes:tpmondial [23/09/2021 16:45] (Version actuelle) – hubert
@@ Ligne 60: / Ligne 60: @@
 ===Données manipulées===
-La base Mondial est déjà prête à l’emploi dans le fichier [[https://nuage.lip6.fr/s/64b6Q7KqwdEGNtT|tpmondial.mv.db]] à télécharger dans votre dossier de travail. Noter l’emplacement absolu du dossier contenant le fichier tpmondial.mv.db dans votre machine car vous en aurez besoin pour vous connecter à la base.Exemple :
+La base Mondial est déjà prête à l’emploi dans le fichier [[https://nuage.lip6.fr/s/64b6Q7KqwdEGNtT|tpmondial.mv.db]] à télécharger dans votre dossier de travail. **Noter l’emplacement absolu du dossier contenant le fichier tpmondial.mv.db dans votre machine** car vous en aurez besoin pour vous connecter à la base.Exemple :
   * Sous linux:  ~/TP1
   * Ou sous Windows C:\Users\PRENOM\Documents\TP1
@@ Ligne 116: / Ligne 116: @@
-   jdbc:h2:tcp://localhost:9093/~/TP1/tpmondial
+   jdbc:h2:tcp://localhost:9093/~/chemin_vers_le_dossier_contenant_tpmondial/tpmondial
-Permet de charger la base se trouvant dans le fichier ~/TP1/tpmondial.mv.db
+Permet de charger la base se trouvant dans le fichier tpmondial.mv.db (emplacement absolu du dossier contenant le fichier tpmondial.mv.db dans votre machine).
 Sous windows, cela charge la base tpmondial.mv.db se trouvant dans le dossier %USERPROFILE%\TP1 de l’utilisateur, avec USERPROFILE étant le dossier principal de l'utilisateur.
+<fc #c0c0c0>Il est aussi possible de remplacer le tilde par un **point** pour indiquer un sous-dossier du dossier depuis lequel sqlworkbench a été lancé.
+</fc>
 /* OLD ----------------
@@ Ligne 219: / Ligne 221: @@
 === Comment utiliser wget depuis une machine de la PPTI ? ===
-En salle de TME, la commande wget est bloquée car les connexions sortantes ne sont pas autorisée. Il faut préciser de passer par le proxy en ajoutant les options use_proxy et https_proxy :
+La commande wget est bloquée car les connexions sortantes ne sont pas autorisée. Il faut préciser de passer par le proxy en ajoutant les options use_proxy et https_proxy :
 <code bash>
 wget use_proxy=on -e https_proxy=proxy:3128 url_du_fichier_à_télécharger