Installation de Scratch 2 sous Linux Mint 18

Scratch est une implémentation visuelle et dynamique du langage de programmation Smalltalk fondée sur Squeak. Cette plateforme d’apprentissage de codage comporte de plus de 14,5 millions de projets partagés allant de l’animation à la simulation 3D. Le nombre d’utilisateurs enregistrés est de 12 millions et ne cesse d’augmenter3.

(Wikipedia)

En tant qu’assistant informatique pour des collèges, je suis amené à installer des logiciels tels que Scratch 2 sous Windows. Je trouve intéressant de les installer également sous Linux…

Depuis le site de Scratch, télécharger Adobe Air pour Linux (on peut également y télécharger la dernière version de Scratch 2).

https://scratch.mit.edu/download

Depuis un terminal, allez dans le dossier Téléchargements (dans mon cas mon dossier utilisateur est dominique) :

cd /home/dominique/Téléchargements/

La commande ls peut vous permettre de visualiser les fichiers présents dans le dossier.

Pour rendre exécutable le fichier :

sudo chmod +x AdobeAIRInstaller.bin

Vous pouvez contrôler le résultat avec la commande ls -l.

sudo apt-get install lib32z1
sudo ln -s /usr/lib/x86_64-linux-gnu/libgnome-keyring.so.0 /usr/lib/libgnome-keyring.so.0
sudo ln -s /usr/lib/x86_64-linux-gnu/libgnome-keyring.so.0.2.0 /usr/lib/libgnome-keyring.so.0.2.0

Exécutez ensuite le fichier :

sudo ./AdobeAIRInstaller.bin

La fenêtre Configuration d’Adbe AIR apparaît, cliquez sur [J’accepte] (si vous acceptez les modalités…).

Si l’installation s’est déroulée avec succès cliquez sur [Terminer].

Téléchargez Scratchv2 437 pour Linux ici :

https://scratch.mit.edu/scratchr2/static/sa/Scratch-437.air

Actuellement, je rencontre un problème avec la dernière version de Scratch (456.0.4). Si vous avez des solutions à proposer merci de laisser un commentaire. La mise à jour vers cette version pose également problème avec le message « Le fichier d’installation est endommagé… ».

Ouvrez le fichier avec Adobe Air et installez-le.

Sources pour l’installation avec diverses distributions Linux :

http://maths.spip.ac-rouen.fr/spip.php?article646

http://tableauxmaths.fr/spip/spip.php?article123

 

Publicités

Installation de Visual Studio Code sous Linux Mint 18 Sarah

Visual Studio Code est un éditeur de code source développé par Microsoft, avec la particularité d’être open source. Il est disponible pour Windows, Linux et Mac OS X.

Depuis le site : https://code.visualstudio.com/

Cliquez sur .deb Debian, Ubuntu

Cochez Enregistrer le fichier si vous n’utilisez pas Gdebi…

Cliquez sur [OK]

Depuis un terminal, rendez-vous dans votre dossier Téléchargements (dans mon cas mon dossier utilisateur se nomme dominique :

cd /home/dominique/Téléchargements/

Si vous voulez voir les fichiers se trouvant dans le dossier utilisez la commande ls (le nom du fichier télécharger peut changer).

Installer le paquet :

sudo dpkg -i code_1.17.2-1508162334_amd64.deb

Saisissez votre mot de passe utilisateur

Sous l’interface graphique cinnamon le programme se trouve dans le menu Programmation.

Installation de TeamViewer sous Debian 9 (stretch) 64 bits

Pour connaître votre version de Debian depuis un terminal :

lsb_release -idrc

Depuis le site :

http://www.teamviewer.com/fr/download/linux.aspx

Dans la rubrique Ubuntu, Debian clique sur [Télécharger TeamViewer]

v12.0.76279 (deb 32-Bit / 64-Bit Multiarch)

Cliquez sur [Enregistrer le fichier]

Dans la dossier Téléchargements j’ai le fichier teamviewer_12.0.76279_i386.deb

Pour activer Multi-Arch (pour un OS 64 bits), si cela n’a pas déjà été fait, depuis le terminal administrateur (su root) :

dpkg --add-architecture i386
apt-get update

Sur votre machine sous Debian, dans un terminal administrateur, depuis le répertoire où se trouve le paquet (Téléchargements) :

dpkg -i teamviewer_12.0.76279_i386.deb

Pour résoudre le « problèmes de dépendances manquantes (non gérées par dpkg) » :

apt-get -f install

A voir également :

Installation de TeamViewer 11 sous Debian 8.5 (jessie) 64 bits

Installation de TeamViewer 11 sous LinuxMint 17.3 64 bits

Installation de TeamViewer 11 sous Ubuntu 16.04 LTS 64 bits

Installation de Wireshark sous Debian 9 Stretch

Versions utilisées :

Debian GNU/Linux 9.0 (stretch)

Wireshark 2.2.6

Wireshark est présent dans les dépôts.

Depuis un terminal en administrateur :

apt-get install wireshark

Pour utiliser Wireshark avec un autre utilisateur que root.

À la question : Autoriser les utilisateurs non privilégiés à capturer des paquets ?

Répondre <oui>

Ajouter mon utilisateur (dominique pour moi) au groupe wireshark :

sudo addgroup dominique wireshark

Ajout de l’utilisateur « dominique » au groupe « wireshark »…

Fait.

Après cette modification, on doit fermer la session et en redémarrer une nouvelle pour qu’elle soit prise en compte. Je peux ensuite utiliser Wireshark avec mon utilisateur dominique.


Voir également les articles :

Installer Wireshark 1.10.5 sous Debian 7 Wheezy depuis les backports

Installation de Wireshark 2.0.2 sous Linux Mint 18 Sarah

Installation de Grammalecte dans LibreOffice

Grammalecte est un correcteur orthographique, grammatical et orthotypographique de français. Il se présente sous la forme d’un extension pour LibreOffice Writer.

Depuis le site :

https://www.dicollecte.org/grammalecte/telecharger.php

Cliquez sur l’extension pour LibreOffice

Ouvrir avec [LibreOffice (défaut)]

Cliquez sur [OK]

Cliquez sur [Fermer]

Redémarrer LibreOffice

Plus d’informations :

http://dutailly.net/grammalecte-outil-pedagogique?lang=fr

On peut gérer les extensions de LibreOffice Writer depuis le menu Outils ==> Gestionnaire des extensions… et voir les versions installées de Grammalecte et des dictionnaires

Grammalecte peut également être installé dans Firefox et Thunderbird.

Installation de Stacer sous Linux Mint et Debian

Souvent, quand je rencontre un débutant sous Linux, il me demande s’il existe un logiciel comparable à Ccleaner sous Windows.

Aujourd’hui, pour répondre à cette question, je peux vous proposer Stacer.

Stacer vous donne accès à :

  • Des informations sur le système
  • Une interface pour le nettoyage du système
  • Les applications lancées au démarrage du système
  • Les services
  • Les processus
  • Une interface pour la désinstallation de paquets
  • Un moniteur des ressources (CPU, mémoire, réseau)
  • La configuration de Stacer (le logiciel est en anglais)

Personnellement, je serais prudent avec le « nettoyage »…


Version de l’OS utilisée : Linux Mint 18.1 Serena

Depuis la page :

https://github.com/oguzhaninan/Stacer/releases

Cliquez sur le paquet .deb de la dernière version, Stacer v1.0.7, au moment où je rédige :

stacer_1.0.7_amd64.deb

Cliquez sur [Enregistrer le fichier]

Depuis un terminal, se rendre dans le dossier Téléchargements depuis votre dossier utilisateur:

cd Téléchargements/

Installation du paquet :

sudo dpkg -i stacer_1.0.7_amd64.deb

Saisir votre mot de passe utlisateur sudo. Avec Debian, pas besoin de préfixer par sudo.

Sous Linux Mint, avec l’interface graphique Cinnamon, depuis le Menu, Stacer se trouve dans Autre.


Sous Debian 9.0 (stretch), il peut être nécessaire de forcer l’installation des dépendances manquantes à la suite de l’installation du paquet stacer avec la commande suivante en administrateur :

apt-get -f install

Plus d’informations sur Stacer :

https://homputersecurity.com/2017/08/18/optimisez-votre-systeme-linux-avec-stacer/

Installation de Docker sous Linux Mint 18

Testé sous Linux Mint 18.1 Serena

Depuis un terminal :

sudo apt-get update

sudo apt-get install apt-transport-https ca-certificates -y

Ajouter la nouvelle clef GPG depuis un terminal :

sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D

Édition du fichier docker.list avec l’éditeur Nano :

sudo nano /etc/apt/sources.list.d/docker.list

Ajouter la ligne suivante :

deb https://apt.dockerproject.org/repo ubuntu-xenial main

Installation

sudo apt-get update

sudo apt-get purge lxc-docker

sudo apt-get install linux-image-extra-$(uname -r) -y

sudo apt-get install docker-engine cgroup-lite apparmor -y

Si vous voulez utiliser les commandes docker sans être administrateur (sudo), vous devez ajouter votre utilisateur au groupe docker puis redémarrer le PC pour que cela soit pris en compte.

sudo usermod -a -G docker $USER

Une autre solution serait la commande suivante :

sudo gpasswd -a ${USER} docker

Vous pouvez vérifier le résultat avec la commande :

 getent group docker

Démarrage du service Docker :

sudo service docker start

Sources :

https://www.simon-hardy.com/blog/post/install-docker-on-linux-mint-18