Juste pour information, voici quelques terminaux sous linux et
des paramètres associés.
konsole
C'est le terminal par défaut de KDE.
Pour le paramétrer, il faut créer un nouveau profile, qui contiendra les paramètres désirés.
Il faut ensuite le définir par défaut.
Configuration > Configurer - Konsole
+ Nouveau
Sélectionner un profile > cliquer sur le bouton : Définir par défaut
Double-cliquer sur le progile pour modifier les paramètrs.
On peut changer sa taille initiale.
On peut changer son prompt. J'ai expliqué cela quelque part, mais où ?
On peut changer la taille de l'historique, c'est-à-dire le nombre de lignes qu'il mémorise.
Il y a bien sûr beaucoup d'autres paramètres que l'on peut modifier.
xfce-terminal
C'est un terminal que j'aime bien, probablement parceque c'est le premier que j'ai utilisé.
C'est le terminal par défaut de l'environnement graphique XFCE.
Il est simple, facile à paramétrer et léger.
Le démarrage utilise Grub
Le dossier des paramètres grub est : /boot/grub/
Mais, il ne faut pas modifier les fichiers qui s'y trouvent,
car ils sont générés automatiquement lorsque l'on tape la commande : sudo update-grub
Si on veut modifier le comportement de grub, surtout pour le menu de démarrage,
il faut éditer le fichier : /etc/default/grub
Il est bon de le faire avec l'éditeur de texte kate,
car lors de la sauvegarde, il demande automatiquement le mot de passe root pour effectuer la sauvegarde
du fichier qui appartien au root et non à l'utilisateur.
Contenu de mon fichier /etc/default/grub, avec des explications en dessous.
# If you change this file or any /etc/default/grub.d/*.cfg file,
# run 'sudo update-grub' afterwards to update /boot/grub/grub.cfg.
# For full documentation of the options in these files, see:
# info -f grub -n 'Simple configuration'
#
# Si ce n'est pas le bon menu qui est présent au démarrage, faire :
# lsblk pour voir les disques installés.
# sudo grub-install /dev/sdX
# en remplaçant X par la bonne lettre, a ou b ou c
# suivant le disque sur lequel on veut installer le menu de démarrage.
# Ensuite, il faudra taper : sudo update-grub
#
# Une alternative est de modifier le menu de la version utilisée par défaut.
# Ouvre par défaut le 4e menu (5e ligne, puisque commence par 0)
#GRUB_DEFAULT=4
GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=4
GRUB_DISTRIBUTOR='Kubuntu'
#GRUB_CMDLINE_LINUX_DEFAULT='quiet splash'
# Si on met 'text' au lieu de '', on démarre par défaut en mode texte.
# il faut taper : startx pour démarrer ensuite en mode graphique.
GRUB_CMDLINE_LINUX_DEFAULT=''
GRUB_CMDLINE_LINUX=""
# Si on veut que grub se rappelle du choix fait lors du dernier démarrage :
# GRUB_DEFAULT=saved
# GRUB_SAVEDEFAULT=true
# If your computer has multiple operating systems installed, then you
# probably want to run os-prober. However, if your computer is a host
# for guest OSes installed via LVM or raw disk devices, running
# os-prober can cause damage to those guest OSes as it mounts
# filesystems to look for things.
#GRUB_DISABLE_OS_PROBER=false
# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
# Uncomment to disable graphical terminal
#GRUB_TERMINAL=console
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE/GOP/UGA
# you can see them in real GRUB with the command `videoinfo'
#GRUB_GFXMODE=640x480
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true
# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"
# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"
GRUB_DEFAULT=0
Sélectionne par défaut la première ligne du menu.
En remplaçant 0 par 3 cela sélectionnera la 4e ligne du menu.
#GRUB_TIMEOUT_STYLE=hidden GRUB_TIMEOUT_STYLE=menu
La ligne débutant par # est une ligne de commentaire.
"=menu", affichera le menu des options de démarrage au boot.
GRUB_TIMEOUT=4
Par défaut, le menu est affiché durant 10 secondes.
Je le racourcis ici à 4 secondes.
GRUB_DISTRIBUTOR='Kubuntu'
Indique juste la distribution utilisée. Est-ce utile ? Je ne sais pas.
#GRUB_CMDLINE_LINUX_DEFAULT='quiet splash' GRUB_CMDLINE_LINUX_DEFAULT=''
Par défaut, au boot, rien n'est affiché. C'est 'quit splash' qui impose cela.
Je préfère voir des tas de lignes textes défiler et indiquer ce qui se passe au boot.
C'est utile lorsqu'il y a un problème et qu'un périférique met du temps à répondre.
C'est la raison pour laquelle j'ai supprimé le 'quit splash' et gardé en commentaire la ligne d'origine.
GRUB_CMDLINE_LINUX=""
Pour ajouté des lignes de commandes supplémentaires. Je n'ai jamais utilisé cette option.
Une fois le fichier "/etc/default/grub" modifié et sauvegardé, il faut taper la commande (puis le mot de passe) :
sudo update-grub
Cela met à jour le fichier "/boot/grub/grub.cfg".
Si on ne tape pas cette commande, aucun changement n'arrivera au prochain démarrage.
Modification des lignes de menu grub.
Il est possible de modifier les lignes de menu de grup.
Cela semble compliqué au début, mais en suivant la marche à suivre, c'est assez simple.
Voici des éléments de marche à suivre :
0) Démarrez sur le premier menu, c'est lui qui contient le grub valide.
Cela m'a pris une heure (ou plus) avant de me rendre compte que je modifiais le fichier d'une autre distribution.
# 1) Générez une configuration temporaire pour voir les IDs :
sudo grub-mkconfig -o /boot/grub/grub.cfg
# 2) Listez les entrées avec :
sudo grep "menuentry" /boot/grub/grub.cfg
# Exemples de sorties :
#menuentry 'Ubuntu' --class ubuntu --class gnu-linux ...
#menuentry 'Advanced options for Ubuntu' --class ubuntu --class gnu-linux ...
# 3) modifier le fichier : /etc/grub.d/40_custom :
On peut aussi créer le fichier : /etc/grub.d/15_custom :
Pour que les menus viennent avant ceux détectés par /etc/grub_d/30_os-prober
NE PAS laisser de lignes vide ni d'espaces en fin de ligne.
#!/bin/sh
exec tail -n +3 $0
# This file provides custom menu entries.
#
menuentry "Mon KUbuntu Perso (Kernel 5.15)" --class ubuntu --class gnu-linux {
search --fs-uuid --no-floppy --set=root <UUID_DU_DISQUE>
linux /boot/vmlinuz-5.15.0-XX-generic root=UUID=<UUID_DU_DISQUE> ro quiet splash
initrd /boot/initrd.img-5.15.0-XX-generic
}
# Remplacez <UUID_DU_DISQUE> par l’UUID de votre partition racine (trouvé via blkid).
# /boot/vmlinuz-5.15.0-XX est à modifier selon la version actuelle du noyau.
PLUS SIMPLE est de faire des copier-coller depuis le fichier /boot/grub/grub.cfg
PUIS modifier le texte entre guillmet donnant le nom au menu.
# 4) Rendre le script exécutable. Il l'est probablement déjà :
sudo chmod +x /etc/grub.d/40_custom ou
sudo chmod +x /etc/grub.d/15_custom
# 5) Vérifiez que votre fichier (40_custom) ne contient pas d'erreurs
sudo grub-mkconfig -o /boot/grub/grub.cfg
# Si on voit des erreurs, les corriger et retester.
# 6) Mettre à jour GRUB :
sudo update-grub
# 7) Redémarrer pour vérifier :
sudo reboot
Il est possible de désactiver la génération de menus automatiques de /etc/grub.d/30_os-prober
C.f. "Removing Default Script Entries" de la référence ci-dessous :
On peut taper :
Parfois, rarement heureusement, le système est planté ou corrompu.
Par exemple si on installe Linux, puis Windows, Windows peut détruire le boot de linux.
Dans ce cas, on peut démarrer sur une clé usb, un live linux,
qui peut avoir été créé à partir d'un .iso téléchargé sur le Web et en utilisant le programme : "balenaEtcher"
J'utilise plus précisément : "balenaEtcher-1.7.9-ia32.AppImage".
En démarrant sur la clé usb, on peut demander de tester linux.
Ouvrir un Terminal (Konsole) et taper :
lsblk # pour trouver le nom de la partition du système où se trouve la version de linux que l'on veut rétablir
sudo mount /dev/sdXY /mnt # Remplacez sdXY par votre partition (ex: sda1)
sudo grub-install --root-directory=/mnt /dev/sdX # sdX = disque (ex: sda)
# Je crois qu'il faut simplement taper sur la touche Enter à la demande du mot de passe.
sudo update-grub
# Redémarrez.
Le gestionnaire graphique par défaut sous KDE est : sddm, pas 'gdm3'
Pour connaître la liste des dépôts :
ls -l /etc/apt/sources.list.d
3) Montage de disque au démarrage : /etc/fstab. Top
Pour monter des disques automatiquement au démarrage :
Editer le fichier : /etc/fstab.
L'éditeur kate est pratique, car à la sauvegarde,
il demande le mot de passe root pour effectuer la sauvegarde.
Voici mon fichier /etc/fstab :
# /etc/fstab: static file system information.
#
# Use 'blkid' to print the universally unique identifier for a device; this may
# be used with UUID= as a more robust way to name devices that works even if
# disks are added and removed. See fstab(5).
#
# <file system> <mount point> <type> <options> <dump> <pass>
UUID=0898-0BC8 /boot/efi vfat defaults 0 2
UUID=22fd7800-0cef-4f2f-8362-80b6e1aae978 / ext4 discard 0 1
UUID=41286f74-1039-48f5-96b7-a762849be407 /videos ext4 discard 0 2
UUID=4e946ce1-1f98-49e4-8e15-fde00feede4c /old ext4 discard 0 2
UUID=b660a38b-ee14-4b08-8a2c-ec110f4488a3 /save ext4 defaults 0 2
UUID=7917a39e-0a90-49f5-a8a5-a7227cc8251e /casa ext4 discard 0 2
/swapfile swap swap defaults 0 0
tmpfs /tmp tmpfs defaults,noatime,mode=1777 0 0
------- AUTRE VERSION ------------------------
#
# /boot/efi was on /dev/sda1 during installation
UUID=0898-0BC8 /boot/efi vfat umask=0077 0 1
# / was on /dev/sdc1 during installation
UUID=4a71cb31-89b4-410f-8bdf-8e4cec3831f2 / ext4 errors=remount-ro 0 1
# /casa was on /dev/sdc3 during installation
UUID=7917a39e-0a90-49f5-a8a5-a7227cc8251e /casa ext4 defaults 0 2
# /old was on /dev/sda5 during installation
UUID=4e946ce1-1f98-49e4-8e15-fde00feede4c /old ext4 defaults 0 2
# /save ajoute apres coup. UUID obtenu avec : 'blkid'
UUID=b660a38b-ee14-4b08-8a2c-ec110f4488a3 /save ext4 defaults 0 2
# /video was on /dev/sda4 during installation
UUID=41286f74-1039-48f5-96b7-a762849be407 /video ext4 defaults 0 2
blkid permet de connaître les UUID des diverses partitions. gnome-disk-utility (ou disks) permet aussi de connaître les UUID
Dans /etc/udev/rules.d se trouve des scripts exécutés par défaut au démarrage.
Il y en a aussi dans : /lib/udev/rules.d, mais il est mieux d'en ajouter dans /etc/udev/rules.d
Une fois une règle modifiée ou ajoutée, il faut taper :
sudo udevadm conrol --reload-rules
Fichier contenant les messages (log file) du démarrage : /var/log/Xorg.0.log
Il est gros et désagréable à lire.
Pour chercher les messages d'erreurs de lors du démarrage :
Pour installer wine, mieux vaut installer q4wine,
qui contient wine et d'autres...
J'installe aussi winetrick, sans savoir si c'est utile.
Il y a aussi playonlinux, qui est plus pour installer des jeux Windows sous linux.
Une alternative est crossover, que je ne connais pas bien. Ma page de descritions de logiciels sous linux
Si on veut utiliser un autre dossier que "~/.wine" pour utiliser wine, voilà comment faire :
Je prends comme exemple d'installation dans "/casa/bg/.wine"
export WINEPREFIX="/casa/bg/.wine"
Pour installer le nouveau préfixe Wine :
wine wineboot --init
Utiliser le nouveau préfixe Wine de manière permanente :
Editer le fichier : "~/bashrc"
Ajouter la ligne suivante :
export WINEPREFIX="/casa/bg/.wine"
Si un icône sur le desktop lance une application wine, il faut l'éditer,
pour redéfinir le nouveau préfixe WINEPREFIX.
Clique droit > propriétés > Application. Changer la Variable d'environnement et le dosier de travail.
ctrl+C : arrêt d'un processus : shift+ctrl+c : copie le texte sélectionné à la souris. shift+ctrl+v : colle le texte. ls -l liste le contenu du répertoire courant. pwd indique dans quel dossier on se trouve. pwd -P indique dans quel dossier on se trouve rééllement.
Parfois, si on vient d'un lien symbolique,
le système nous indique un dossier qui est un "alias" et non le dossier réel. realpath est identique à : "pwd -P".
J'ai modifié le fichier ~/.bashrc pour ajouter à la fin :
sudo -i # Passez root pour éviter les permissions
grub-mkconfig -o /boot/grub/grub.cfg # Génère le menu
#BG Adjonction le 20.10.2025
# Pour que un lien symbolique vers un dossier aille réélement le dossier de destination.
# Toujours suivre physiquement les symlinks lors des cd
set -o physical # équivalent à: set -P
Il est pratique d'utiliser midnight commander pour gérer des fichiers depuis un Terminal
sudo -i # Passez root pour éviter les permissions
grub-mkconfig -o /boot/grub/grub.cfg # Génère le menu
Pour voir les noyaux disponibles :
ls /boot/vmlinuz-*
Pour voir la version du noyaux :
uname -r
Pour choisir le gestionnaire graphique par défaut. (sddm est celui de KDE)
dpkg-reconfigure sddm
Changement de correspondance entre une touche du clavier et un caractère
Pour connaitre la correspondance actuelle par défaut :
xmodmap -pke
Pour inverser le "-" avec le "_",
donc sans la touche Shift, la touche donne le symbole _
Anciennement : xmodmap.
c.f. https://www.juggling.ch/gisin/ssh_vnc_nfs/ssh_vnc_nfs.html chercher setxkbmap
sudo setxkbmap -layout ch fr
Le 27.3.2025 et le 20.10.2025
J'ai modifié le fichier : /usr/share/X11/xkb/symbols/ch
J'ai inversé les deux mots : underscore, minus de la ligne 38
Je suis allé dans les paramètres systèmes,
j'ai fait une modification puis annulé la modification et appuyé sur "Appliquer"
Ainsi, par défaut c'est le _ qui vient. Pour le signe - il faut appuyer sur Shift.
Je pense que l'on peut aussi taper :
sudo setxkbmap -layout ch
LinuxUbuntu