Différences

Ci-dessous, les différences entre deux révisions de la page.

--- ppas [2026/10/15 14:26] – [Enlever les polices d'ecriture inutiles] admin
+++ ppas [2026/10/15 14:46] (Version actuelle) – [Enlever les polices d'ecriture inutiles] admin
@@ Ligne 1: / Ligne 1: @@
+ <font 28px/inherit;;inherit;;inherit>__**Petites tips rapide pour Linux Mint**__</font>
 ===== Résoudre les problèmes de tearing sous XFCE : =====
@@ Ligne 38: / Ligne 40: @@
 ===== Liste des PPAs qui me vont bien =====
-Audacity : [[https://launchpad.net/~ubuntuhandbook1/+archive/ubuntu/audacity|https://launchpad.net/~ubuntuhandbook1/+archive/ubuntu/audacity]]
+Ajouter dépôt tiers pour avoir des version plus recentes des logiciels, pour le dépôt soit pris en compte il toujours faire un ''sudo apt update''
+==== Audacity : ====
+[[https://launchpad.net/~ubuntuhandbook1/+archive/ubuntu/audacity|https://launchpad.net/~ubuntuhandbook1/+archive/ubuntu/audacity]]
 <code>
@@ Ligne 45: / Ligne 50: @@
 </code>
-OpensShot , installer openshot-qt
+==== OpensShot ====
+installer openshot-qt
 <code>
@@ Ligne 52: / Ligne 59: @@
 </code>
-Client Nextcloud - [[https://launchpad.net/~nextcloud-devs/+archive/ubuntu/client|PPA]]
+==== Client Nextcloud ====
+[[https://launchpad.net/~nextcloud-devs/+archive/ubuntu/client|PPA]]
+<code>
-<command subordinate>
 sudo add-apt-repository ppa:nextcloud-devs/client
-</command>
+</code>
+==== Spotify ====
+(PPA officiel pour avoir la dernière version)
+<code>
+curl -sS https://download.spotify.com/debian/pubkey_5384CE82BA52C83A.asc | sudo gpg –dearmor –yes -o /etc/apt/trusted.gpg.d/spotify.gpg
+</code>
+<code>
+echo "deb https://repository.spotify.com stable non-free" | sudo tee /etc/apt/sources.list.d/spotify.list
+</code>
+Ensuite si vous voulez profiter de Spotify sans pub et sans compte prémium…
+<code>
+bash <(curl -sSL https://spotx-official.github.io/run.sh)
+</code>
 ===== Mirroirs pour la Réunion =====
@@ Ligne 99: / Ligne 129: @@
 </code>
 ===== Enlever les polices d'ecriture inutiles =====
-Par défaut bon nombre de polices de caratères sont installées, si on comprend que c'est pratique pour que toute la terre puisse travaziller sur ton PC, dans les faits on est souvent seul ou au pire quelques-uns à l'utiliser et à parler la même langue. Donc autant virer ces polices car ça pollue vite les selecteur de police.
+Par défaut bon nombre de polices de caratères sont installées, si on comprend que c'est pratique pour que toute la terre puisse travailler sur ton PC c'est ok mais dans les faits on est souvent seul ou au pire quelques-uns à l'utiliser et à parler la même langue. Donc autant virer ces polices car ça pollue vite les selecteurs de police. (dans LibreOffice par exemple)
 <code>
-sudo apt remove fonts-noto-core fonts-noto-extra fonts-noto-cjk fonts-wqy-zenhei && ''fc-cache -f -v''
+sudo apt remove fonts-noto-core fonts-noto-extra fonts-noto-cjk fonts-wqy-zenhei && fc-cache -f -v
 </code>