Comment changer le son reproduit pour la sonnerie du terminal?
Récemment, passez de 18.04 à 18.10 et l'utilisation du terminal devient ennuyeuse: le nouveau son d'alerte est un goutte à goutte (/usr/share/sounds/gnome/default/alerts/drip.ogg), et le précédent est toujours situé à (/usr/share/sounds/ubuntu/stereo/bell.ogg).
Mon problème est que sur le gnome-terminal, lorsque vous complétez automatiquement ou que vous appuyez à gauche LES DEUX, les sons sont reproduits en même temps. Je veux juste que ubuntu/stereo/bell.ogg soit actif, pas les deux.
Pour le moment, je n’ai pu que réduire le volume des alertes (mais les deux sont toujours jouées) ou baisser les alertes (mais je n’aime pas les deux solutions).
semble devoir passer d’Ubuntu18.04 à Ubuntu18.10, certains dossiers sont restés. mais si c'est une nouvelle installation d'Ubuntu18.10 n'a pas le dossier /usr/share/sounds/ubuntu/
$ ls /usr/share/sounds/
alsa freedesktop gnome sound-icons speech-dispatcher Yaru
$
alors, sauvegardez le dossier /usr/share/sounds/ubuntu puis supprimez-le du dossier /usr/share/sounds
comment créer votre propre thème sonore?:
dans la nouvelle installation d'Ubuntu lorsque vous ouvrez gnome-tweaks-> Apparence-> Son - vous verrez "Yaru & Default" comme thèmes sonores sélectionnables.
pour créer votre propre thème.
copier coller le dossier /usr/share/sounds/Yaru dans le dossier /usr/share/sounds et le renommer en myBell ou en un autre nom de votre choix.
change repertoire en /usr/share/sounds/myBell renomme le dossier Yaru en myBell ouvre le dossier index.theme et modifie le contenu comme ci-dessous
[Sound Theme]
Name=myBell
Directories=myBell
maintenant vous pouvez choisir votre propre thème sonore "myBell" parmi les réglages de gnome
