Skip to main content

Ajouter d'autres applications

Compléter Primtux avec des logiciels supplémentaires

Une fois, l'installation réalisée, on va améliorer cela avec les outils déjà prévus dans Primtux mais non installés en se connectant avec le compte "POE" (mot de passe : "tuxprof") :

Via la fenêtre "Accueil - Bienvenue" qui surgit, aller dans l'onglet "B. Logiciels supplémentaires" et cliquer sur le bouton "Installer tous les logiciels éducatifs non-libres : 2.8 Go". Attention, en fonction de la connexion Internet et de la puissance de la machine, il faudra compter pas mal de temps. Ainsi, on disposera d'applications supplémentaires en fonctionnement hors-ligne comme  Scratch, Géogébra, etc.

Accueil_Logiciels_supplémentaires.png




Installer une application Windows avec Wine

Avec Primtux, si l'on veut installer une application fonctionnant sous Windows avec Wine, il va falloir dans les différents environnements ouvrir un terminal avec la commande Alt + F2 et taper la commande "wine config". Cela à pour effet de créer un dossier .wine dans l'environnement ciblé et d'ensuite pouvoir installer l'application Windows.

Remarque : toutes les applications Windows ne fonctionnent pas sous Wine mais la plupart du temps, il existe leur équivalent sous Primtux (basée sous la distribution Debian).



Installation de AppImage Launcher

Pour installer facilement des applications au format AppImmage (c'est parfois la seule solution pour disposer d'une application particulière), on peut passer par l'application AppImage Launcher pour laquelle on trouvera les explications d'installation ici : https://github.com/TheAssassin/AppImageLauncher/wiki/Install-on-Ubuntu-or-Debian. Voici les commandes à utiliser dans le terminal d'une session Prof :

sudo apt install software-properties-common
sudo add-apt-repository ppa:appimagelauncher-team/stable
sudo apt update
sudo apt install appimagelauncher

Presse-papier pérenne

Pour avoir un presse-papier "pérenne" (qui ne perd pas le contenu quand on ferme l'application à partir de laquelle on copie...), il faut installer "Clipman" (ou Parcellite selon les goûts) :

sudo apt update
sudo apt install xfce4-clipman

Une fois fait, il suffit de le lancer 1 fois et ensuite il apparaîtra à chaque fois dans la barre d'outils en bas à droite.



Shutter : Logiciel de capture d'écran évolué

Pour les enseignant⋅es qui souhaitent faire des captures d'écran avec des outils d'annotation, Shutter est particulièrement intéressant. Pour l'installer :

sudo apt update
sudo apt install shutter



Intégration de DWService dans Primtux

Pour mettre facilement à disposition cet outil (voir cet article) de dépannage à distance, voici une procédure à faire sur le compte "Poe" (prof) :

  1. Télécharger l'agent DWS ici : https://www.dwservice.net/fr/download.html et récupérer la version pour Linux (lien direct : https://www.dwservice.net/download/dwagent.sh).
    En ligne de commande : wget https://www.dwservice.net/download/dwagent.sh

  2. Puis le déplacer dans le dossier /var/opt/ et changer le propriétaire (qui est "root" par défaut) par "administrateur" avec les 2 commandes suivantes :
    sudo mv /home/poe/dwagent.sh /var/opt/
    chown poe /var/opt/dwagent.sh
  1. Donner à ce fichier "dwagent.sh" les droits d'exécution pour le propriétaire seulement en faisant un clic droit dessus. On pourra aussi taper par la suite (si on a oublié de le faire, c'est -à-dire après l'étape 3) la commande :
    sudo chmod 700 /var/opt/dwagent.sh
  2. Créer le lanceur dws.desktop dans le dossier /usr/share/applications/ avec la commande :
    sudo nano /usr/share/applications/dws.desktop
  3. Puis on insère le code ci-dessous :
    [Desktop Entry]
    Type=Application
    Icon=system-help
    Name=DWS
    Comment=Dépannage à distance
    Exec=/var/opt/dwagent.sh
    StartupNotify=false
    Categories=Settings;System
    Terminal=false
    MimeType=inode/directory;
    NoDisplay=false
  4. On rajoute ensuite ce lanceur dans la barre d'outil du bas avec un clic droit -> "Tableau de bord" -> "Ajouter de nouveaux éléments..." :
    Ajouter_Lanceur1.png

    Sur la nouvelle fenêtre qui surgit, on choisit "Lanceur" et on clique sur le bouton "+ Ajouter" :
    Ajouter_Lanceur2.png

    Ceci qui fait apparaître une icône vierge, tout à droite de la barre d'outils. On peut alors le déplacer avec un clic droit dessus et en choisissant "Déplacer" :
    Sélection_004.png


  5. Ensuite on configure ce nouveau lanceur, en faisant un clic droit sur son icône(1) et on clique sur "Propriétés"(2), puis on appuie sur le +(3) sur la 2e fenêtre. Dans la 3e fenêtre qui s'ouvre, on tape dans la barre de recherche "dws"(4),  on sélectionne le lanceur correspondant(5) et on clique sur le bouton "Ajouter"(6) :
    Sélection_008.png

Le lanceur est désormais fonctionnel mais attention s'il n'y a pas de connexion Internet, on aura un message d'erreur ésotérique...