Linux distributions, Mint, KUbuntu

Table des matières   Liens internes à cette page

1) Remarques générales.
2) Linux Mint avec Cinnamon.
3) Linux KUbuntu avec KDE.
4) Distributions recommandées (par diverses personnes).
5) Dislocker - Récupérer vos données chiffrées avec Bitlocker.
6) Tester diverses distributions linux dans une page Web.

1) Remarques générales   Top

Durant plus de 15 ans, j'ai utilisé diverses versions de GNU/Linux Ubuntu, avec Gnome (Ubuntu), XFCE (XUbuntu), KDE (KUbuntu) et LXQT, (LUbuntu).
J'en étais très satisfait, jusqu'à l'introduction des paquets SNAP.
Ils sont très désagréable, fermés, et introduisent plusieurs bugs.
Il me semble que la société "canonical" qui maintient Ubuntu, se dirige vers une compagnie similaire à Microsoft, en cherchant à contrôler et fermer Linux Ubuntu.

Voici les problèmes que j'ai eu avec snap.
1) Dans Firefox, je veux voir le code source dans l'éditeur externe Geany.
C'est prévu, dans "about:config", puis
"view_source.editor.external" à mettre à true.
"view_source.editor.path" à mettre à "/usr/bin/geany"
Cela ne fonctionne pas lorsque firefox est installé avec snap, car snap isole dans un "bac à sable" ("sandbox") le logiciel et lui interdit d'accéder à des programmes.

2) Dans Firefox, Édition, paramètres, Général, Fichiers et applications, application :
Je demande à voir les fichiers .pdf dans le logiciel "okular".
Cela ne fonctionne pas, pour la même raison que précédemment.

3) Dans Thunderbird, de manière similaire, je ne pouvais pas voir des fichiers .pdf dans le logiciel "okular".

4) Dans Thunderbird, à un moment donné, j'ai eu l'impression d'avoir perdu une bonne partie des mes e-mails sauvegardé en local.
Cela vient du fait que lorsque Thunderbird est installé avec snap, il stocke les fichiers dans un dossiers non standard, qui est un sous-dossier de ~/snap.
Comme j'ai plusieurs versions de linux que j'exécute sur le même ordinateur, certaines n'utilisant pas snap, il y avait incompatibilité des dossiers de bases de Thunderbird.

5) Il est possible de contourner ce qui précède, mais c'est du travail.
Ce que je trouve complètement inadmissible est que l'orsque l'on tente d'installer par voie standard un logiciel avec "synaptic" ou avec "apt-get install", l'environnement ubutnu détourne notre intention en imposant snap à la place.
De nouveau, il est possible de changer ce comportement par défaut et même de supprimer complètement snap, mais c'est du travail et va à l'encontre de la volonter de fermer ubuntu.

Pour les raisons ci-dessus, je quitte Ubuntu après 15 ans d'utilisation, pour passer à la distribution Linux Mint avec le desktop "Cinnamon".

J'ai vérifié que cette distribution n'utilise pas snap. Je suis tombé sur cette page, qui confirme mon dégout pour snap.
The Snap Store, also known as the Ubuntu Store, is a commercial centralized software store operated by Canonical.
Ils critiquent également vivement les "snap" et le "snap store" fermé de canonical.


En cherchant une alternative à KUbuntu, je suis tombé sur les pages Web suivantes :

° Comment forcer Ubuntu à NE PAS utiliser de snaps ?
° Journal utiliser ubuntu sans snap
"... Et franchement, ubuntu tuera ubuntu avec snap. ..."
° Les 10 meilleures distributions Linux pour les débutants et les utilisateurs avancés en 2025
Très bien fait et donne plusieurs alternatives. Linux Mint avec le desktop Cinnamon est un bon choix.
Linux distribution, dans wikipedia. Montre une quantité énorme de distributions, dans une image.


2) Linux mint.   Top

J'ai téléchargé linux Mint depuis le lien : Linux Mint 22.2 'Tara'
J'ai cliqué sur le bouton "Download" de "Cinnamon Edition".
J'ai utilisé ensuite le logiciel "balenaEtcher-1.7.9-ia32.AppImage" pour créer une clé USB d'installation du fichier .iso sur la clé, qui permet ensuite de démarrer sur la clé et d'installer Linux Mint.
Pour exécuter le logiciel, j'ai dû taper depuis un Terminal :
~/Apps/balenaEtcher-1.17.0-x64.AppImage --no-sandbox

L'installation c'est bien passée, mais comme d'habitude, il y a toujours quelques petit soucis et des réglages particuliers que l'on désire.

Désactivation de quelques touches de raccourcis.

Pour moi, il y a beaucoup trop de raccourcis clavier système, qui rentrent en collision avec certains raccourcis propre à des applications, comme par exemple "Alt+F7" et "F10".
Dans "Préférences" > "Paramètres système" > Matériel > Clavier > Onglet raccourcis
on peut effacer plusieurs raccourcis, en les sélectionnant, re-cliquant dessus pour les modifier, puis en appuyant sur la touche "Backspace".

Par contre, la touche de raccourcis "F10" était introuvable ainsi.
Depuis un Terminal, j'ai dû installer dconf-editor, puis l'exécuter :
sudo apt install dconf-editor
dconf-editor
J'ai cherché menubar-accel
Pour arriver dans : "org / cinnamon / desktop / interface / menubar-accel"
J'ai mis sur "off" le bouton disant d'utiliser la valeur par défaut et
J'ai effacé la "valeur personnalisée" F10, pour laisser le champ vide.
On peut également faire plus rapidement la modification depuis un Terminal en tapant :
dconf write /org/cinnamon/desktop/interface/menubar-accel "''"
dconf read /org/cinnamon/desktop/interface/menubar-accel
ou (plus simple, à préférer car aussi plus sûr) :
gsettings set org.cinnamon.desktop.interface menubar-accel ''
gsettings list-recursively org.cinnamon.desktop.interface
La deuxième ligne ne sert qu'a vérifier si la modification a été bien faite.
Si on désire anuler la désactivation et remettre la valeur par défaut :
gsettings reset org.cinnamon.desktop.interface menubar-accel
Pour lister les clés avec gsettings :
gsettings list-recursively org.cinnamon.desktop.keybindings
gsettings list-recursively    Listera toutes les entrées, plusieurs centaines !
Chercher un raccourcis spécifique :
gsettings list-recursively | grep -i "menubar-accel"
Voici une liste d'instruction pour automatiser la désactivation de quelques touches de raccourcis : (cliquer sur le +)
# Désactivation du raccourcis F10 d'accès au menu. Non accessible depuis les paramètres du système > clavier.
gsettings set org.cinnamon.desktop.interface menubar-accel "[]"

# Raccourcis Atl+F2 : "Général > Afficher l'écran de sélection des fenêtres"
gsettings set org.cinnamon.desktop.keybindings.wm panel-run-dialog "[]"

# Raccourcis Ctrl+Atl+UP : "Général > Afficher l'écran de sélection des espaces de travail"
gsettings set org.cinnamon.desktop.keybindings.wm panel-run-dialog "[]"

# Raccourcis Super+D : "Général > Afficher le bureau"
gsettings set org.cinnamon.desktop.keybindings.wm show-desktop "[]"

# Raccourcis Super+S : "Général > Afficher les desklets"   Je ne sais pas ce que c'est !
gsettings set org.cinnamon.desktop.keybindings.wm show-desklets "[]"

# Raccourci Alt+Super+= correspondant à : "Accessibilité > Zoom avant"
gsettings set org.cinnamon.desktop.keybindings magnifier-zoom-in "[]"

# Raccourci Alt+Super+- correspondant à : "Accessibilité > Zoom arrière"
gsettings set org.cinnamon.desktop.keybindings magnifier-zoom-out "[]"

# Raccourci Alt+Super+- correspondant à : "Accessibilité > Réinitialiser le zoom"
gsettings set org.cinnamon.desktop.keybindings magnifier-zoom-reset "[]"

# Raccourci Alt+Super+S correspondant à : "Accessibilité > Activer, désactiver le lecteur d'écran", qui lit oralement l'écran.
gsettings set org.gnome.settings-daemon.plugins.media-keys screenreader   "[]"

Il y en a beaucoup et comme j'ai déjà désactivé la plupart des raccourcis, 
je n'arrive pas à trouver ceux que je veux désactiver.
J'espère compléter la liste un jour...

# Très long liste de tous les paramètres possibles.
gsettings list-recursively

# List tous les paramètres de : org.cinnamon.desktop.keybindings
gsettings list-recursively org.cinnamon.desktop.keybindings

# Pour trouver ceux qui sont liés à un raccourcis, par exemple : Alt+F4     qui ferme la fenêtre.
gsettings list-recursively | grep "<Alt>F4"

Désactivation de la touche de raccourcis F10 dans xfce4

Édition > Préférences... > Avancé
Chercher Raccourcis et cocher la case : Désactiver le raccourcis clavier du menu (F10 par défaut)
Dans les Raccourcis, j'ai également enlevé le raccourcis : "Afficher la barre de menus temporairement", mais je crois que c'était inutile.

Raccourcis du menu dans Firefox

Dans l'URL, taper : about:config
Chercher : ui.key
Mettre : ui.key.menuAccessKeyFocuses sur false
Mettre : ui.key.mebuAccessKeyFocuses à 18 pour que F10 ouvre le menu sous Firefox.
Mettre : ui.key.mebuAccessKeyFocuses à 0 pour désactiver le raccourcis qui ouvre le menu sous Firefox.
Pour voir l'action des touches, dans un Terminal taper : xev

Icônes dans la barre de tâches

Pour avoir les icônes comme désirés dans la barre de tâches, j'ai fait un clique droit sur la barre de tache, cliqueé sur Applets et ajouté les deux applets :
1) Lanceurs, pour avoir divers lanceurs sur la droite de la barre de tâches
2) Liste des fenêtres, pour que les applications dans la barre de tâches ne se résuisent pas uniquement à des icônes.
3) Liste groupée de fenêtres, j'ai cliqué sur   -   pour la supprimer.
Ensuite, j'ai fait un clique droit sur la barre de tâches et sélectionné le Mode de modification du panneau
J'ai pu ainsi déplacer le lanceur "Liste des fenêtres" sur la gauche.
Depuis le menu, on peut cliquer-glisser des icônes vers la liste des lanceurs.
?? j'ai désépinglé des icônes et déplacés d'autres.

Si on a installé "Video Download Helper" dans Firefox, il faut aussi installer depuis un Terminal :
curl -sSLf https://github.com/aclap-dev/vdhcoapp/releases/latest/download/install.sh | bash
Si on a installé "Arduino", il faut aussi taper dans un Terminal :
sudo adduser bg dialout
Avec un Arduino, je dois aussi copier les dossiers ".arduino15" et ".arduinoIDE".

Pour faire quelques réglages suppémentaires, par exemple au démarrage (boot), voir : Terminal, boot, commandes, instructions utiles


  


Voici une liste de logiciels que j'ai installé :
Ttf_mscorefonts-installer  pour avoir les polices de caractères usuellement utilisés sous Windows.
   Durant l'installation, il faut cliquer une case pour accepter une condition.

Firefox ; thunderbird ; Libreoffice ; Flatpak ; Disks sont déjà installés par défaut.

Synaptic, installateur de paquets
Double commander, gestionnaire de fichiers, très utile pour moi
midnight commander (mc), gestionnaire de fichiers utilisable depuis un terminal

HardInfo, pour des informations sur l'ordinateur et le système d'exploitation

Geany, éditeur de textes, très utile pour moi
gedit, éditeur de textes basé sur gtk
leafpad ou l3pad, éditeur de textes
Sublime text, pour éditer des programmes
CodeBlock, pour éditer des programmes C++
gcc, pour compiler du C++, installé automatiquement

python3, pour exécuter des scripts pyton
IDLE, un environnement simple de développement de programmes python
Thonny, un autre environnement simple pour python
Spyder, un environnement plus complexe pour python

Chromium, un navigateur alternatif.
  Google chrome et Seamonkey doivent être installés par téléchargement des applications
  Google earth, pour voir la Terre et zoomer pour localiser divers lieux. S'utilise depuis Google chrome ou Firefox

VLC, pour visionner des vidéos
Celluloid, idem
MPV, idem
mplayer, idem
ffmpeg, pour gérer des vidéos et des caméras

Simple Screen Recorder, pour enregistrer l'écran
Vokoscreen, idem
OBS, idem

Verbiste, pour la conjugaison de verbes

GIMP, éditeur d'images
Krita, pour des dessins artistiques
Pix, idem
Drawing (dessin), idem
Geequie, visualiseur d'images
mirage, visualiseur d'images
Inkscape, pour du dessin vectoriel
FreeCad, pour de la modélisation 3D à imprimer
Blender, pour de la modélisation 3D
Shotcut, éditeur vidéos
AviDemux, éditeur vidéos simple, pour couper coller et de petits changements. Utiliser l'Appimage.
Audacity, éditeur de sons et musique

Arduino, pour programmer des micro controlleurs

geogebra, pour de la géométrie interactive
scilab, pour des calculs scientifiques, cousin de MatLab
stellarium, pour visualiser les étoiles
  Celestia, doit être téléchargé, pour naviguer dans notre galaxy

net-tools  pour : ifconfig ; nmap ; ping ; et outils d'Internet
arp-scan

q4wine et wine, pour exécuter des programmes Windows sous Linux
Winetricks, aide à wine.
PlayOnLinux, pour facilité l'installation de logiciels Windows sous linux.
  Exemples de logiciels intéressants :
  Total commander, même s'il est remplacé par double commander
  irfanview
  Paint Shop Pro, même s'il est remplacé par GIMP
  Même certaines versions de Microsoft Office (Word, Eycel) sont utilisables ainsi sous Linux.

VirtualBox, pour émuler des machines virtuelles

DosBox, pour émuler le DOS
Rhythmbox, pour écouter de la musique

openjdk-21-jre  pour la machine vitruelle java

skanlite

samba,  cifs-utils,  smbclient  pour des connection distant avec un serveur.

Flatpak, pour installer :
° Prusa Slicer
° RustDesk, pour aider des personnes à distance par Internet
  c'est une alternative à AnyDesk et TeamViewer, qui sont aussi très pratiques.
  Microsoft teams est aussi utile pour aider des personnes à distance.
° skanpage
Comment personnaliser l'apparence des fenêtres, surtout pour changer la couleur du fond du titre des fenêtres :

1) Copier un thème qui nous plait dans ~/.themes depuis : /usr/share/themes/
J'ai copié tout le dossier : /usr/share/themes/Mint-Y-Aqua dans ~/.themes/Mint-Y-Aqua
Je ferrai l'exemple sur ce thème : Mint-Y-Aqua

2) J'ai renommé : Mint-Y-Aqua  en  Mint-Y-Aqua-bg   (bg sont mes initiales)
   Dans les Paramètres système > Thèmes > Applications, j'ai sélectionné le thème : Mint-Y-Aqua-bg
   S'il n'est pas proposé, taper (Dans un Terminal) : Alt+F2  puis  r  puis la touche  Enter

3) Je suis allé dans le sous dossier : gtk-3.0 et j'ai édité le fichier ~/.themes/Mint-Y-Aqua-bg/gtk-3.0/gtk.css

4) j'ai cherché la ligne : "headerbar,"  (ligne 788 chez moi)
   Juste en-dessous, il y a la ligne : ".titlebar:not(headerbar) {"

5) Un peu plus bas, j'ai cherché les deux lignes : (ligne 878 chez moi)
  headerbar.default-decoration,
  .default-decoration.titlebar:not(headerbar) {

6) 4 ou 5 lignes plus bas, j'ai modifié le champ : (ligne 883)
   background-color: #ebebeb; } en
   background-color: rgb(160, 255, 255); } /* BG!! == #a0ffff change la couleur de fond du titre de la fenêtres active.
                                                 TAPER Alt+F2 puis r puis Enter  pour relancer Cinnamon et que l'effet soit pris en compte. */
7) En-dessous, j'ai ajouté :
  .maximized headerbar.default-decoration, .maximized .default-decoration.titlebar:not(headerbar) {
   background-color:rgba(255,255,255,1.0); /* BG!! == #ffffff change la couleur de fond du titre de la fenêtre maximisée. */
   color:rgb(96,0,0); /* BG!!  == #600000 change la couleur du titre de la fenêtre maximisée. */
      }

On peut donner la couleur sous forme #aabbcc ou sous forme rgb(rouge, vert, bleu)
rouge, vert, bleu sont des entiers entre 0 et 255.

8) J'ai ajouté les lignes : (ligne 900)
  .background .titlebar:backdrop {
   background-color: rgb(255, 255, 208);  /* BG!! == #ffffd0  Si j'ajoute cette ligne, la couleur du titre des fenêtres non actives changent de couleur. */
      }

9) En tapant Alt+F2, puis  r  puis la touche Enter,  l'effet des couleurs se voient.

On peut encore changer beaucoup de paramètres.
Pour information, j'ai mis quelques lignes de mon fichier : "~/.themes/Mint-Y-Aqua-bg/gtk-3.0/gtk.css"
------------------------------------------------------------------------------------------------------

headerbar,
.titlebar:not(headerbar) {
  min-height: 46px;
  padding: 0 6px;
  border-width: 0 0 1px;
  border-style: solid;
  border-radius: 0;
  border-color: #bdbdbd;
  color: rgba(0, 0, 0, 1.0); /* BG!! Change la couleur du titre des fenêtre */
  background-color: #ffffff; /* BG!! Change la couleur de quoi ??? */
  box-shadow: inset 0 1px #EEEEEE; }
  .csd headerbar, .csd .titlebar:not(headerbar) {
    background-color: #80EBED;
    border-color: #BDBDBD; }
  headerbar:backdrop,
  .titlebar:backdrop:not(headerbar) {
    color: rgba(0, 0, 0, 1.0); }
  headerbar .title,
  .titlebar:not(headerbar) .title {
    font-weight: bold;
    padding-left: 12px;
    padding-right: 12px; }
  headerbar .subtitle,
  .titlebar:not(headerbar) .subtitle {
    font-size: smaller;
    padding-left: 12px;
    padding-right: 12px; }
  headerbar.selection-mode,
  .selection-mode.titlebar:not(headerbar) {
    color: #FFFFFF;
    background-color: #1f9ede;
    border-color: #1d91cc;
    box-shadow: none; }
    headerbar.selection-mode:backdrop,
    .selection-mode.titlebar:backdrop:not(headerbar) {
      background-color: #1f9ede;
      color: rgba(255, 255, 255, 0.6); }
    headerbar.selection-mode button,
    .selection-mode.titlebar:not(headerbar) button {
      color: #FFFFFF;
      outline-color: rgba(255, 255, 255, 0.3);
      background-color: rgba(255, 255, 255, 0);
      border-color: rgba(255, 255, 255, 0); }
      headerbar.selection-mode button.flat,
      .selection-mode.titlebar:not(headerbar) button.flat {
        border-color: transparent;
        background-color: transparent;
        background-image: none;
        color: #FFFFFF;
        background-color: rgba(255, 255, 255, 0); }
      headerbar.selection-mode button:hover,
      .selection-mode.titlebar:not(headerbar) button:hover {
        color: #FFFFFF;
        outline-color: rgba(255, 255, 255, 0.3);
        background-color: rgba(255, 255, 255, 0.05);
        border-color: rgba(255, 255, 255, 0.5); }
      headerbar.selection-mode button:active, headerbar.selection-mode button:checked,
      .selection-mode.titlebar:not(headerbar) button:active,
      .selection-mode.titlebar:not(headerbar) button:checked {
        color: #1f9ede;
        outline-color: rgba(31, 158, 222, 0.3);
        background-color: #FFFFFF;
        border-color: #FFFFFF; }
      headerbar.selection-mode button:disabled,
      .selection-mode.titlebar:not(headerbar) button:disabled {
        color: rgba(255, 255, 255, 0.4);
        background-color: rgba(255, 255, 255, 0);
        border-color: rgba(255, 255, 255, 0); }
        headerbar.selection-mode button:disabled:active, headerbar.selection-mode button:disabled:checked,
        .selection-mode.titlebar:not(headerbar) button:disabled:active,
        .selection-mode.titlebar:not(headerbar) button:disabled:checked {
          color: rgba(31, 158, 222, 0.4);
          background-color: rgba(255, 255, 255, 0.15);
          border-color: rgba(255, 255, 255, 0.15); }
    headerbar.selection-mode .selection-menu,
    .selection-mode.titlebar:not(headerbar) .selection-menu {
      box-shadow: none;
      padding-left: 10px;
      padding-right: 10px; }
      headerbar.selection-mode .selection-menu GtkArrow,
      .selection-mode.titlebar:not(headerbar) .selection-menu GtkArrow {
        -GtkArrow-arrow-scaling: 1; }
      headerbar.selection-mode .selection-menu .arrow,
      .selection-mode.titlebar:not(headerbar) .selection-menu .arrow {
        -gtk-icon-source: -gtk-icontheme("pan-down-symbolic"); }
    .maximized headerbar.selection-mode, .maximized .selection-mode.titlebar:not(headerbar) {
      background-color: #1f9ede; }
  .tiled headerbar:backdrop, .tiled headerbar, .tiled-top headerbar:backdrop, .tiled-top headerbar, .tiled-right headerbar:backdrop, .tiled-right headerbar, .tiled-bottom headerbar:backdrop, .tiled-bottom headerbar, .tiled-left headerbar:backdrop, .tiled-left headerbar, .maximized headerbar:backdrop, .maximized headerbar, .fullscreen headerbar:backdrop, .fullscreen headerbar, .tiled .titlebar:not(headerbar), .tiled-top .titlebar:not(headerbar), .tiled-right .titlebar:not(headerbar), .tiled-bottom .titlebar:not(headerbar), .tiled-left .titlebar:not(headerbar), .maximized .titlebar:not(headerbar), .fullscreen .titlebar:not(headerbar) {
    border-radius: 0; 
    background-color: #99ff99;}
  headerbar.default-decoration,
  .default-decoration.titlebar:not(headerbar) {
    min-height: 18px; /* BG!! Hauteur de la barre de titre de la fenêtre. Default == 28px */
    padding: 2px 6px;
    border-bottom-width: 0; /* BG!! Taille du bord inférieur de la barre de titre de la fenêtre */
    background-color: rgb(160, 255,255); } /* BG!! == #a0ffff change la couleur de fond du titre de la fenêtres active.  TAPER Alt+F2 puis r puis Enter  pour relancer Cinnamon et que l'effet soit pris en compte. */
  .maximized headerbar.default-decoration, .maximized .default-decoration.titlebar:not(headerbar) {
      background-color:rgba(255,255,255,1.0); /* BG!! == #ffffff change la couleur de fond du titre de la fenêtre maximisée. */
      color:rgb(96,0,0); /* BG!!  == #600000 change la couleur du titre de la fenêtre maximisée. */
      }
  .solid-csd headerbar:backdrop:dir(rtl), .solid-csd headerbar:backdrop:dir(ltr), .solid-csd headerbar:dir(rtl), .solid-csd headerbar:dir(ltr), .solid-csd .titlebar:dir(rtl):not(headerbar), .solid-csd .titlebar:dir(ltr):not(headerbar) {
    margin-left: -1px;
    margin-right: -1px;
    margin-top: -1px;
    border-radius: 0;
    box-shadow: none; }

.background .titlebar:backdrop, .background .titlebar {
  border-top-left-radius: 8px;
  border-top-right-radius: 8px; }
  /* background-color: #99ff99; } BG!! Si j'ajoute cette ligne, toutes les fenêtres changent de couleur. */

.background .titlebar:backdrop {
  background-color: rgb(255, 255, 208);  /* BG!! == #ffffd0  Si j'ajoute cette ligne, la couleur du titre des fenêtres non actives changent de couleur. */
  }

.background.tiled .titlebar:backdrop, .background.tiled .titlebar,
.background.tiled-top .titlebar:backdrop,
.background.tiled-top .titlebar,
.background.tiled-right .titlebar:backdrop,
.background.tiled-right .titlebar,
.background.tiled-bottom .titlebar:backdrop,
.background.tiled-bottom .titlebar,
.background.tiled-left .titlebar:backdrop,
.background.tiled-left .titlebar,
.background.maximized .titlebar:backdrop,
.background.maximized .titlebar,
.background.solid-csd .titlebar:backdrop,
.background.solid-csd .titlebar {
  border-top-left-radius: 0;
  border-top-right-radius: 0; }

headerbar entry, headerbar button, headerbar separator {
  margin-top: 6px;
  margin-bottom: 6px; }

separator:first-child + headerbar, separator:first-child + headerbar:backdrop, headerbar:first-child, headerbar:first-child:backdrop {
  border-top-left-radius: 8px; }
  .maximized separator:first-child + headerbar, .tiled separator:first-child + headerbar, .maximized separator:first-child + headerbar:backdrop, .tiled separator:first-child + headerbar:backdrop, .maximized headerbar:first-child, .tiled headerbar:first-child, .maximized headerbar:first-child:backdrop, .tiled headerbar:first-child:backdrop {
    border-radius: 0; }

headerbar:last-child, headerbar:last-child:backdrop {
  border-top-right-radius: 8px; }
  .maximized headerbar:last-child, .tiled headerbar:last-child, .maximized headerbar:last-child:backdrop, .tiled headerbar:last-child:backdrop {
    border-radius: 0; }
--------------------------------------------------------------------------------

Références :
============
La documentation officielle des propriétés CSS pour GTK 3. 
Tu y trouves toutes les propriétés supportées, les raccourcis, les types, etc.
GTK3: CSS Properties, Supported CSS Properties

Une vue d’ensemble sur comment fonctionne le CSS dans GTK (nœuds CSS, sélecteurs, héritage, etc.).
Très utile pour comprendre la hiérarchie des éléments comme headerbar, window, etc.
GTK3 : CSS Overview, Overview of CSS in GTK

Documentation de la classe HeaderBar : très utile pour les barres de titre, les boutons de décoration,
les propriétés comme title, show-close-button, decoration-layout, etc.
Gtk.HeaderBar (GTK3)

Liste “non officielle” / Gist des propriétés GTK CSS
Un gist GitHub qui recense beaucoup de propriétés CSS GTK3 (avec types, valeurs par défaut, etc.). 
Très pratique comme cheat-sheet.
GTK CSS properties 

Bonus utiles à connaître
''''''''''''''''''''''''
Il y a deux types de propriétés CSS dans GTK :
les propriétés standard CSS (comme background-color, margin, etc.)
les propriétés GTK spécifiques (préfixées par -gtk-, comme -gtk-icon-source) — documentées dans la page “CSS Properties” GTK. 
https://docs.gtk.org

Expliquer le concept de CSS Nodes (nœuds CSS) : 
chaque widget GTK est mappé à des “noeuds” dans la feuille de style, avec des classes et des états. 
Très bien couvert dans l’overview GTK3. 
https://docs.gtk.org

Mentionner l’outil GTK Inspector : 
si on active l’inspecteur GTK (GTK_DEBUG=interactive…), 
on peut visualiser les nœuds CSS d’une application : cela aide énormément à savoir quel sélecteur utiliser.
--------------------------------------------------------------------------------

Les 20 propriétés GTK3 CSS les plus utiles pour les thèmes
""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
background-color --- Couleur d’arrière-plan d’un widget. --- background-color: #2f343f;
color --- Couleur du texte. --- color: #ffffff;  ou  color:rgb(255,255,255)  ou  color:rgba(255,255,255,0.5) (a==opacité, entre 0.0 et 1.0)
border-color --- Couleur de la bordure. --- border-color: #5c616c;
border-width --- Épaisseur de la bordure. --- border-width: 1px;
border-radius --- Arrondis des coins. --- border-radius: 6px;
border-style --- Style de bordure : solid, dashed, none… --- border-style: solid;
padding --- Espacement interne (comme en CSS classique). --- padding: 5px;
margin --- Espacement externe. --- margin: 10px;
box-shadow
Ombre portée, très utile pour fenêtres, boutons, boutons actifs… --- box-shadow: 0 2px 4px rgba(0,0,0,0.4);
text-shadow
Ombre du texte. --- text-shadow: 0 1px 1px rgba(0,0,0,0.7);
opacity
Transparence (0 = transparent, 1 = opaque). --- opacity: 0.8;
min-height / min-width
Taille minimale d’un widget. --- min-height: 32px;
-gtk-transition
Transitions et animations. --- -gtk-transition: all 200ms ease-in-out;
-gtk-icon-source
Définit une icône personnalisée. --- -gtk-icon-source: -gtk-icontheme("folder");
-gtk-outline-radius

Arrondi du contour (différent du border-radius). --- -gtk-outline-radius: 4px;
utline-color / outline-width / outline-style

Très utile pour les focus. --- outline-color: #5294e2; outline-width: 2px; outline-style: solid;
-gtk-icon-shadow

Fonctionne comme box-shadow mais pour les icônes. --- -gtk-icon-shadow: 0 1px 2px rgba(0,0,0,0.8);
background-image

Pour ajouter des dégradés ou images. --- background-image: linear-gradient(to bottom, #3c3f41, #2b2d30);
-gtk-scaled

Pour images fournies à plusieurs résolutions. --- background-image: -gtk-scaled(url("bg.png"), url("bg@2.png"));
animation

Animations CSS de base (limitées dans GTK, mais utilisables). --- animation: pulse 2s infinite;

Bonus : les sélecteurs GTK les plus utiles
On peut aussi ajouter cette section (très pratique pour les utilisateurs Mint/Cinnamon).

Fenêtre active --- .default-decoration.titlebar:not(headerbar)
Fenêtre inactive --- .default-decoration.titlebar:not(headerbar):backdrop
Boutons de fenêtres (fermer, réduire…) --- .titlebutton
Headerbar GNOME / GTK3 --- headerbar
Boutons génériques --- button
Champs de saisie --- entry
Listes / zones de sélection --- listview row:selected
Barres de défilement --- scrollbar slider


Comment ajouter une corbeille liée à une partition hors /home, par exemple /casa
Taper dans un Terminal :
id -u     # Cela donnera l'id de l'utilisateur, généralement 1000
sudo mkdir -p /casa/.Trash-1000    # Remplacer 1000 par l'id de l'utilisateur
sudo chown 1000:1000 /casa/.Trash-1000   # Cela change le propriétaire du dossier /casa/.Trash-1000
sudo chmod 700 /casa/.Trash-1000   # Cela donne les droits d'accès au propriétaire
S'il y a plusieurs utilisateurs, il faut faire cela pour chaque utilisateur.
La norme Freedesktop spécifie que pour chaque partition montée, la corbeille doit être dans : <mountpoint>/.Trash-<UID>

Comment ajouter la corbeille dans la barre de taches :
Il faut faire un clique droit dans la barre de tâches, cliquer sur Applets et ajouter Corbeille en le sélectionnant et en cliquant sur "+".
De même, en cliquant sur "-", on supprime la corbeille de la barre de tâches.

Comment ajouter la corbeille sur le bureau :
Aller dans Préférences > "Paramètres système" > Bureau et choisir d'afficher la corbeille.

Quelques paramètres de Nemo, le gestionnaire de fichiers par défaut de Cinnamon.
%p   # Chemin de l'élément sélectionné (fichier ou dossier).
%D   # Dossier courant du panneau actif (ignores la sélection).
%d   # Alternative à %D (selon la version de Double Commander).

Comment désactiver la grille des icônes sur le bureau ?
Si on a pas installé dconf-editor, on peut taper directement dans un Terminal :
dconf write /org/nemo/desktop/use-desktop-grid false
dconf read /org/nemo/desktop/use-desktop-grid    # Permet de vérifier.
Ensuite, il faut faire un clique droit sur le bureau et décocher la case gardé aligné du menu contextuel,
qui n'apparaît que si on a mis à false la valeur : /org/nemo/desktop/use-desktop-grid

Plus simple est d'utiliser le programme dcond-editor et de chercher : "use-desktop-grid"
Ensuite, il devrait apparaître et on peut le désactiver. Il faut aussi faire le clique droit et décocher, comme expliquer 4 lignes plus haut.

Pour ne pas avoir de fenêtre qui s'ouvre automatiquement lors de l'insertion d'une clé USB :
1) Démarré > Préférences > Paramètres système > Applications préférées > onglet : Média amovible
  Désactiver : "Réagir à l'insertion de média"
2) Autre possibilité :
dconf-editor
org / cinnamon / desktop / media-handling  désactiver automount-open 
ou
gsettings set org.cinnamon.desktop.media-handling automount-open false
Pour vérification, on peut taper :
gsettings list-recursively org.cinnamon.desktop.media-handling
Malgré que la valeur de "automount-open" est à true, aucune fenêtre ne s'ouvre à l'insertion d'un média amovilbe.

Je voudrais que la position par défaut des fenêtre soit mémorisée. Ce n'est pas la cas par défaut.
Il semble que dans "Paramètres système" > Applets, on peut télécharger : Window-list@sangorys)
Mais cela ne semble pas fonctionner sous mint 22.2

Comment revenir au menu de Linux Mint 22.2, au lieu du nouveau menu de Linux Mint 22.3 ?

Voici une vidéo de 5 minutes présentée par Ordirepar qui donne la solution : Linux Mint 22 3 - Restaurer le menu classique Mint 22 2.

1) Faire un clique droit dans la barre de tâche du bas.
2) Applet > Télécharger, rechercher "classique" ou "Menu"
3) Cliquer sur "Classic Menu" et le télécharger.
4) Revenir sur "Gérer", sélectionner "Classic Menu" et cliquer sur +
5) Il n'apparaît pas où on désire par défaut.
6) Faire un clique droit dans la barre de tâche du bas et cliquer sur "Mode de modification du panneau"
7) Déplacer le "Classic Menu" où l'on désire, supprimer ou déplacer le menu de Mint 22.3
8) Refaire un clique droit dans la barre de tâche et désélectionne le "Mode de modification du panneau".
9) Pour revenir en arrière, on peut repasser par les "Applets", comme indiqué dans la vidéo.

Comment extraire des icônes d'un fichier .exe ?

1) installer : sudo apt install icoutils
2) wrestool -l getax2025.exe
Crée un dossier icons, contenant : getax2025.exe_14_MAINICON.ico
Ce fichier contient plusieurs icones à des résolutions différentes.
Pour les voir : icotool -l icons/*.ico
Pour les extraires : icotool -x icons/*.ico et créer des .png
icotool --help donne de l'information.
Alternative que je n'ai pas testée : extract-icon /chemin/vers/programme.exe
--------------------------------------------------------------------------

Ordirepar présente une vidéo : 10 choses à faire après installations linux mint
J'en ai fait d'autres, avec des indications données ci-dessus, telle que changer la couleur des fond des titres des fenêtre et de la fenêtre active.

Un tutoriel (en anglais) sur les imprimantes et scanner sous linux Mint

Cinnamon, différents thèmes, curseurs et ressources.
Une vidéo qui explique comment changer le curseur dans Cinnamon.
D'autres thèmes possibles, sur gnome-look.org.

Beaucoup d'informations sur différents domaines lié à linux et au logiciels.


Linut Mint, installation.

Voici une marche à suivre pour l'installation de Linux Mint : (cliquer sur le +)
Conseil d'installation du système d'exploitation Linux Mint :
° Utilisez un nom d'ordinateur court, 2 à 4 lettres
° Utilisez un nom d'utiliateur court, 2 à 4 lettres
La raison étant que dans un terminal, ces deux noms sont affiché en début de ligne de commande.
S'ils sont long, la ligne sera longue et dérangeante pour voir les instructions tapées.
Le MOT DE PASSE que vous choisissez devra souvent être taper.
Il faut absolument s'en SOUVENIR !
S'il est simple à taper, c'est un plus.
il ne doit pas être facile à deviner, comme pour tous les mots de passes.

Après avoir téléchargé une version .iso de Linux Mint et
utilisé le logiciel 
balenaEtcher
pour intaller Linux Mint.

Une version plus récente de etcher.
Voici ce que j'ai tapé depuis un Terminal (Atl+Ctrl+T) : sudo apt update (+ taper le mot de passe, qu'il faut se souvenir) sudo apt upgrade Si la fenêtre de "Gestionnaire de mise à jour" apparaît, dire OUI à la question : "Voulez-vous utiliser un miroir de dépôts local ?" J'ai choisi deux dépôts situés en Suisse. Ce sont les plus proches de où je suis. Après avoir cliqué sur le bouton vers de mise à jours et attendu un peu, fermer la fenêtre. J'ai automatisé diverses installations et réglages du système. Par exemple, il y a trop de raccourcis clavier, qui interfèrent parfois avec certains programmes, comme Double Commander. ( J'ai tapé : gsettings list-recursively > settings_default.txt Pour avoir dans le fichier "settings_default.txt" la liste de tous les settings par défaut. ) Ensuite j'ai créé le fichier raccourcis.sh pour désactiver plusieurs touches de raccourcis. Pour l'exécuter, il faut taper : sudo sh raccourcis.sh Remarque : On peut modifier les raccourcis clavier à la main en allant dans : Paramètres du système > Matériel > Clavier > Raccourcis Ils sont presque tous accessible, sauf la touche F10 On peut le voir en tapant : gsettings get org.cinnamon.desktop.interface menubar-accel ou


3) Linux KUbuntu avec KDE.   Top


Blablabla, sera utile peut-être une fois... :
Rien écrit ici pour l'instant.


4) Distributions recommandées (par diverses personnes).   Top

Plusieurs personnes recommande des distributions de Linux en 2025.
Linux Mint arrive en bonne position.
Ubuntu est aussi recommandé, mais vu son évolution récente avec les "snap", je m'en éloigne.
Je suis très satisfait de Linux Mint avec Cinnamon, malgré quelques limitations et complications de paramétrages.
Top 5 des meilleures distributions Linux en 2025, par Les Instruits.
9 distributions Linux pour remplacer Windows (dont une à éviter), par Ordirepar.
Ordirepar présente de nombreuses vidéos intéressantes concernant Linux.



5) Dislocker - Récupérer vos données chiffrées avec Bitlocker.   Top

Avant d'installer Linux en dualboot avec Window, démarrez sous Windows, notez la clé de récupération liée à bitlocker et désactivez bitlocker.
À ma connaissance, bitlocker n'est activé par défaut que sous Windows pro. C'était ainsi en 2019, actuellement, je ne sais pas.

Back Up Your BitLocker Recovery Key

Si on installe linux en dualboot avec Windows, et si bitlocker est activé sous Windows, Linux n'arrivera pas à accéder aux données se trouvant dans la partition allouée à Windows.
Pour y accéder quand-même, on peut utiliser le programme dislocker sous Linux, avec la clé de chiffrage du disque dur, que l'on obtient depuis son compte Windows.
Si vous n'arrivez pas à connaître la clé de chiffrage, il est inutile d'essayer d'accéder aux données sur la partition allouée à Window, c'est très compliqué et fait pour être presque impossible. C'est une sécurité.

Références :
Dislocker – Récupérer vos données chiffrées avec Bitlocker
Comme indiqué ci-dessus, vous aurez besoin d'une clé de de chiffrage ou clé de récupération, de la forme : "000000-000000-000000-000000-000000-000000-000000-000000".
Vous pouvez l'obtenir depuis votre compte Windows.
Accès à un disque crypté par BitLocker depuis une distro Linux en dual boot.
Dislocker : Accéder/déverrouiller un disque chiffré BitLocker sur Linux
Comment contourner Bitlocker ? Sans clé de chiffrage, on ne peut pas !
BitLocker depuis linux – Accéder à votre partition chiffrée
Ce que vous devez savoir avant de trouver votre clé de récupération BitLocker



6) Tester diverses distributions linux dans une page Web.   Top

Une vidéo qui présente la questions suivante :
Peut-on vraiment abandonner Windows en 2025 ? La vérité sur Linux. La réponse courte est Oui.
Oui, mais il faut être souple et accepter de changer certaines de ses habitudes, pour parfois en prendre de meilleures.

Dans la vidéo précédente, est présenté la page Web suivante qui permet de tester dans une page Web diverses distributions linux. Testez les distributions Linux en ligne !

Un blogue du créateur de la vidéo mentionnée ci-dessus, pour aider à prendre en main Linux.
Bienvenue sur le Carnet du Citoyen Linux

Un problème important qui se pose avec Linux, c'est que Linux n'est PAS vraiment un système d'exploitation, mais un ENSEMBLE de systèmes d'exploitations. (Certains puristes me contrediront, mais dans les faits pratiques, ce que j'ai écrit est correcte.)
La difficulté est que l'on a trop de liberté !
Donc il est bon de se faire aider pour choisir une distribution qui nous convient.
Dans une large majorité de cas, Linux Mint ou Linux (K)Ubuntu est un bon choix.
Je suis passé en novembre 2025 de Linux KUbuntu à Linux Mint et j'en suis très satisfait.



Plan du Site : Home   arrow   LinuxUbuntu   arrow   linux_distributions.html


Page mise à jour le 3 février 2026 par Bernard Gisin
Hébergement par : www.infomaniak.ch