Installer Opera sous Linux Mint 17.3 Rosa

Pour vérifier quelle est votre distribution Linux depuis un terminal :

lsb_release -idrc

Distributor ID: LinuxMint

Description: Linux Mint 17.3 Rosa

Release: 17.3

Codename: rosa


Depuis le site :

http://www.opera.com/fr

Cliquez sur [Télécharger maintenant]

Cochez  » Enregistrer le fichier «  puis cliquez sur [OK]

Dans le dossier Téléchargement j’ai le fichier opera-stable_40.0.2308.62_amd64.deb

Attention ! dans votre cas le nom du paquet .deb peut être différent.

Depuis un terminal :

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

Attention ! dominique est mon dossier utilisateur à remplacer par le votre.

La commande suivante vous permet de visualiser le contenu du répertoire courant  » Téléchargement « .

ls

Pour installer le paquet (commande à adapter au nom du paquet téléchargé) :

sudo dpkg -i opera-stable_40.0.2308.62_amd64.deb

En cas de problèmes de dépendances – laissé non configuré :

sudo apt-get -f install

Au message qui suit répondre <Oui>

Création de tutoriels vidéo sous Windows 10

Après avoir rencontré des problèmes en utilisant Corel ScreenCap X6 sous Windows 10 pour créer des tutoriels vidéo j’ai recherché une autre solution.

Ayant déjà utilisé CamStudio sous Windows 7 j’ai opté pour son utilisation.

CamStudio est un logiciel libre et gratuit qui permet d’enregistrer au format AVI tout ce qui se passe sur tout ou une partie de votre écran (screencasting). L’interface est en anglais.

Le tutoriel au format PDF que j’avais créé sur l’installation de CamStudio sous Windows 7 :

Installation de CamStudio sous Windows 7

Après avoir installé CamStudio sous Windows 10, j’ai également téléchargé le codec audio « CamStudio Lossless Codec v1.5 » et effectué le paramétrage comme dans le tutoriel précédent. Sans le codec j’avais le message d’erreur File Creation Error. unable to rename/copy audio file.

Le site de CamStudio où j’ai téléchargé l’application et le codec :

http://camstudio.org/

 

Installation de Docker sous Debian 8 Jessie

Ajout du dépôt Backports dans le sources.list depuis un terminal administrateur en éditant ce fichier avec nano :

nano /etc/apt/sources.list

On ajoute la ligne suivante :

deb http://httpredir.debian.org/debian jessie-backports main

Pour prendre en compte les modifications :

apt-get update

Installation de Docker :

apt-get install docker.io

Pour pouvoir utiliser les commandes docker sans être root, on doit ajouter notre utilisateur (dominique pour moi) au groupe docker. Pour ajouter un groupe secondaire docker à mon utilisateur dominique j’utilise la commande suivante :

usermod -a -G docker dominique

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

 getent group docker

Pour que cela soit pris en compte, je redémarre mon PC.

Installation de Docker sous Linux Mint 17.3

# Ajouter la nouvelle clef GPG depuis un terminal :

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

# Editer le fichier /etc/apt/sources.list.d/docker.list

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

# Ajouter la ligne suivante :

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

# Installation

sudo apt-get update
sudo apt-get purge lxc-docker
sudo apt-get install linux-image-extra-$(uname -r)
sudo apt-get install docker-engine

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 gpasswd -a ${USER} docker

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

 getent group docker

Sources :

https://theoryl1.wordpress.com/2016/01/15/install-docker-on-linux-mint-17-3/