Mot-clé - 92a_Linux-Mint

dimanche 1 janvier 2023

Dépannage Linux Mint - les mises à jour échouent

--- Difficulté : Facile --- mise à jour : 1 août 2024

Avec le système d'exploitation GNU/Linux, les mises à jour - aussi bien du système que des applications - sont proposées régulièrement. Il est recommandé de les appliquer dès que possible. (Il est d'ailleurs possible d'activer une option pour que cette installation soit automatique, mais cela pourrait survenir à un moment inopportun).

Lors d'une mise à jour, le téléchargement d'un ou plusieurs paquets peut parfois échouer. Ceci peut être du à l'indisponibilité du paquet ou l'indisponibilité du serveur (dépôt).

La première chose à faire est de vérifier votre connexion à l'Internet, puis de cliquer sur le bouton "Actualiser" pour recharger la liste des paquets à mettre à jour.

Si cela ne résoud pas le problème, c'est peut-être qu'un dépôt n'est plus accessible. Ceci peut-être une situation temporaire : réessayez le jour suivant. Cela peut aussi être une indisponibilité définitive.

Explications et marche à suivre ci-dessous.

Lire la suite

vendredi 9 avril 2021

Tutoriel - personnaliser Linux Mint Xfce et Cinnamon versions 20 à 22

--- Difficulté : Facile à Intermédiaire --- mise à jour : le 28 avril 2026

Linux Mint est un système d'exploitation pour ordinateurs personnels. C'est une distribution de GNU/Linux dérivée de la distribution Ubuntu.

Même si Linux Mint est parfaitement utilisable avec les réglages par défaut, nous suggérons ici d'une part des compléments d'installation et d'autre part des réglages personnalisés susceptibles d'améliorer votre expérience en tant qu'utilisateur.

Les principes peuvent s'appliquer à toute distribution de GNU/Linux. Dans ce tutoriel nous indiquerons les emplacements des paramètres pour l'environnement de bureau Xfce, ainsi que pour l'environnement Cinnamon.

Pour une présentation des différentes variantes et un manuel utilisateur simplifié de Linux Mint, voir ce billet.

Lire la suite

dimanche 24 juin 2018

Manuel - Linux Mint Xfce | Cinnamon versions 18 | 19 | 20 | 21 | 22

--- Difficulté : Très facile à Facile --- mise à jour : 29 juillet 2024

Linux Mint est un système d'exploitation pour ordinateurs personnels. C'est une distribution de GNU/Linux dérivée de la distribution Ubuntu.

Les variantes

Les deux variantes ont une interface assez similaire, simple et classique.

La variante (ou "édition") ayant pour environnement de bureau Xfce est adaptée aux machines assez peu performantes (≥ 3 Go de RAM conseillé, peu de capacité graphique). Xfce est utilisé par de nombreuses distributions de GNU/Linux. Il est simple à configurer.

Voir l'interface de Mint Xfce v.21.2.

La variante ayant pour environnement de bureau Cinnamon consomme légèrement plus de ressources (≥ 4 Go de RAM conseillé). Cinnamon a été développé spécialement pour Linux Mint. Il est un peu plus sophistiqué (offre plus de possibilité de configuration) et un peu plus esthétique.

Voir l'interface de Mint Cinnamon v.21.2

Suivre notre tutoriel pour les personnaliser.

Remarque : il existe une troisième variante avec l'environnement du bureau MATE. Ses caractéristiques sont intermédiaires par rapport aux deux précédentes variantes. Nous ne l'avons pas inclue dans le manuel.

Lire la suite

jeudi 3 août 2017

Usage de GNU-Linux - raccourcis clavier en détail

--- Difficulté : Facile --- mise à jour : 3 août 2017 (pour Linux Mint Cinnamon : le 29 juillet 2024)

(Si vous êtes débutant, voyez plutôt ce billet simplifié.)

Ce tutoriel montre les raccourcis clavier usuels utilisés par défaut dans deux distributions grand public de GNU/Linux : Ubuntu et Linux Mint édition Cinnamon.

Les équivalents pour Windows® sont donnés lorsqu'il existent. (Les raccourcis clavier de Windows® ne sont pas paramétrables.)

Les raccourcis clavier des distributions GNU/Linux sont presque tous paramétrables. De plus il est possible de définir des raccourcis personnalisés.

Nous suggérons certaines modifications des raccourcis clavier allant dans le sens d'une simplification et d'une harmonisation entre les systèmes. (Dans Linux Mint il est possible de définir jusqu'à trois raccourcis pour la même fonction.)

Lire la suite

mardi 4 juillet 2017

Usage de GNU-Linux - mises à jour

--- Difficulté : Facile à Intermédiaire --- mise à jour : 01 août 2024

Faut-il mettre à jour votre système d'exploitation ?

Les utilisateurs de Windows® sont parfois réticents à le faire. En effet les mises à jour de Windows® entraînent parfois de l'instabilité, et parfois elles ajoutent subrepticement des "fonctionnalités" qui servent plus les intérêts de Microsoft que ceux de l'utilisateur. Avec Windows® 10 il devient d'ailleurs plus complexe de refuser les mises à jour.

Les risques de rencontrer des problèmes suites à une mise à jour de GNU/Linux sont bien moindres. Il convient toutefois d'être vigilants dans quelques cas particuliers.

Un des grands avantages du système GNU/Linux est que vous n'avez pas à vous préoccuper de la mise à jour des applications : celles-ci se font en même temps que les mises à jour du système.

Après quelques années, vous avez la possibilité d'effectuer une mise à niveau vers une nouvelle version (voir plus bas).

Lire la suite

lundi 5 juin 2017

Usage de GNU-Linux - raccourcis clavier

--- Difficulté : Très facile à Facile ---mise à jour : 3 août 2017 (pour Linux Mint : 29 juillet 2024)

(Cette documentation concerne aussi le système Windows®.)

Bien que toutes les actions puissent être effectuées à l'aide de la souris, l'usage des raccourcis clavier est parfois plus pratique et plus rapide. Si vous n'êtes pas familier de l'utilisation du clavier, lisez d'abord notre tutoriel pour en comprendre la logique.

Le système d'exploitation offre un grand nombre de raccourcis. Sous Windows® ils sont fixés par l'éditeur Microsoft. Sous GNU/Linux par contre vous êtes libre de changer la plupart des raccourcis pour les adapter à votre clavier et à vos habitudes. Vous pouvez même définir des raccourcis personnalisés.
De plus sous GNU/Linux, le clavier permet d'écrire avec plus de caractères (4 par touches), notamment les majuscules accentuées. Voir le §1 du billet consacré aux différences entre Windows® et GNU/Linux. Vous y découvrirez aussi au §2 le copier-coller en un clic de souris qui est une spécificité de GNU/Linux.

Par ailleurs les applications offrent aussi des raccourcis claviers, la plupart étant standardisés. Certaines applications permettent de modifier tous leurs raccourcis (notamment VLC et LibreOffice).

Lire la suite

lundi 15 mai 2017

Choisir une distribution de GNU-Linux

--- Difficulté : Intermédiaire --- mise à jour : 16 septembre 2025

GNU/Linux est un système d'exploitation libre que vous pouvez installer librement (et gratuitement) sur votre ordinateur.

Lorsque vous achetez un "Mac" (ordinateur commercialisé par la société Apple), il est livré avec le système d'exploitation privateur macOS® pré-installé. Lorsque vous achetez un "PC", il est livré avec le système d'exploitation privateur Microsoft Windows® pré-installé.
Vous ne vous posez donc pas vraiment la question du choix d'un système d'exploitation puisque celui-ci est lié à la machine. Il s'agit d'une vente liée, et même d'une vente forcée car il est rare de pouvoir acheter une machine sans système d'exploitation.

GNU/Linux est un système d'exploitation qui peut être installé aussi bien sur "Mac" que sur "PC", en parallèle du système d'exploitation d'origine, ou en le remplaçant. Il est aussi possible d'acheter des ordinateurs avec une distribution de GNU/Linux pré-installée. Voir nos conseils d'achat.

Contrairement aux systèmes privateurs qui sont chacun édité par une unique société commerciale, GNU/Linux, de part sa caractéristique d'être libre, possède autant de distributions qu'il existe de sociétés, associations et individus qui le configurent, pour des besoins variés.

Lorsque vous choisissez d'installer, ou de faire installer GNU/Linux, vous devez donc choisir une distribution. Ce qui peut être déroutant au premier abord.

Nos conseils ne concernent que les distributions "grand public". Si votre ordinateur a au moins 3 Go de RAM, nous conseillons Linux Mint édition Cinnamon, simple et moderne. Sinon voyez plus bas.

Pour les options d'installation, voir notre tutoriel dédié.

Lire la suite