Stylish est une extension de Firefox et Chrome qui permet de gérer ses feuilles de styles CSS comme bon nous semble.

Par exemple, vous avez l’habitude d’aller sur un site Web en particulier et il y a toujours un défaut qui vous gêne ou un truc qui ne rend pas bien sur votre navigateur. Vous touchez un peu le CSS via la touche magique F12 et vous copiez les changements apportés au div ou à la class en copiant le CSS de droite.

Dans Stylish (l’icône avec un S), vous créez un nouveau style pour le domaine (ex: https://lokoyote.eu) et collez les changements entre les 2 accolades { }

Vous enregistrez et hop ! Les changements seront visibles de votre côté :)

Il y a aussi ce site référençant des styles que des gens ont fait : https://userstyles.org

Il y a du bon comme un thème sombre pour Youtube mais il y a surtout beaucoup de trucs moches…

Bref, ça peut dépanner de temps en temps.

MÀJ le 15/08/17

Nouveau PC, nouvelles habitudes, et pour commencer, pas de dual boot avec Windows !

Alors, pour combler le peu que m’apporte Windows (la suite Office entre autres à cause de ses formats proprio à la c*n que tous les étudiants et enseignants utilisent…), rien de mieux qu’une machine virtuelle !

Une version de Windows 10 légère en désactivant tous les trucs chiants et en coupant l’accès au net devient plaisant. Démarrage et fermeture en 5sec et fluide.

Virtualbox est un logiciel permettant de virtualiser un système d’exploitation, c’est-à-dire de lancer un système dans un système. Par exemple, installer un Windows 10 dans Ubuntu afin d’avoir accès dans une sorte de bulle à Windows.

L’installation de Virtualbox est simple
echo "deb http://download.virtualbox.org/virtualbox/debian $(lsb_release -sc) contrib" | sudo tee /etc/apt/sources.list.d/virtualbox.list

wget -q http://download.virtualbox.org/virtualbox/debian/oracle_vbox_2016.asc -O- | sudo apt-key add -

sudo apt-get update

sudo apt-get install virtualbox-5.1

il faut simplement ne pas oublier d’installer le « Virtualbox Extension Pack » (lien dans « All supported Platforms ») du côté de la machine physique (le télécharger puis double-cliquer dessus, il doit s’ouvrir avec Virtualbox) mais aussi dans la machine virtuelle Windows (barre d’outils > « Périphériques » > « Insérer l’image CD des Additions invité… »), puis redémarrer la machine virtuelle.

Ce fond d’écran se trouve dans « C://WIndows/Web/Screen »

Pour avoir accès aux ports USB, cliquer-droit sur l’icône de la clé USB en bas à droite et choisir le périphérique à ouvrir dans la machine virtuelle.

Si rien ne s’affiche, éteindre la machine virtuelle, aller dans l’onglet « Configuration » de Virtualbox > USB > Cocher « Activer le contrôleur USB » et cliquer sur « Contrôleur USB 2 (EHCI) ».

Relancer la machine virtuelle.

Si toujours rien ne s’affiche, entrer dans un terminal la commande suivante :

sudo usermod -a -G vboxusers `whoami`

(Via)

Pour accéder aux dossiers partagés : https://lokoyote.eu/virtualbox-dossiers-partages/

Ou comment passer d’un affichage petit à quelque chose de standard via https://addons.mozilla.org/fr/firefox/addon/autohidpi/ pour Firefox.

Installez l’addon > Redémarrer Firefox > Cliquez sur l’icône en forme d’écran apparue et changez le « Pixel Ratio »

Ou, sans addon via « about:config » > layout.css.devPixelsPerPx > changez la valeur à celle désirée (défaut = 1)

Pour Thunderbird, il faut aller dans les paramètres pour avoir l’équivalent du « about:config » de Firefox :

Pour ma part j’ai dû mettre un ratio de 1.25

Via

J’avais un raccourci clavier par défaut sur mon ancien PC pour éteindre l’écran afin d’économiser de la batterie.

Pour le remettre, il suffit d’aller dans l’application « Clavier » > Raccourcis > Raccourcis personnalisés > « + »

Dans la boîte de dialogue, choisissez un nom pour identifier le raccourci et dans commande, inscrire :

xset dpms force off

Appliquer.

Cliquez sur la nouvelle ligne créée et appuyez sur votre raccourci (ex : Fn + F7).
Pour rallumer l’écran il suffit de bouger la souris ou de taper sur une touche.

(Fix Dell DA200 adapter Ubuntu compatibility mode)

Le fameux adaptateur de Dell DA200 pour ses laptops est en fait un Dock Station et non un simple adaptateur qui se sert de l’USB-C.

Pour ma part j’avais acheté le DA100 qui passe par l’USB 3 (et non l’USB-C) et celui-ci n’a jamais été détecté par le PC, que ce soit au niveau matériel ou logiciel.

Je déconseille fortement le DA100.

Le DA200 quant à lui semble fonctionner correctement (@GdB) !

Problème : non compatible Linux par défaut ou presque…

Pour le rendre compatible avec Linux/Ubuntu, il faut télécharger le pilote pour Ubuntu téléchargeable ici : http://www.displaylink.com/downloads/ubuntu

(choisir le zip sous « Latest DisplayLink Software Release »)

Avant tout, il faut installer le paquet DKMS, sous peine de voir l’installation du programme planter.

Pour cela, ouvrir un terminal et entrer :

sudo apt-get install dkms

Puis, décompressez l’archive précédemment téléchargée et rendez le fichier « .run » exécutable :

• Soit par la commande (en ouvrant un terminal dans le dossier où se situe le fichier en faisant « clique-droit » n’importe où dans la fenêtre du dossier > Ouvrir dans un terminal)

chmod +x displaylink-driver-1.2.65.run

• Soit en faisant clique-droit sur le fichier  « displaylink-driver-1.2.65.run » > Propriétés > Permissions > cochez la case « Autoriser l’exécution du fichier comme un programme »

et lancez le script en root (super-utilisateur, obligatoire dans ce cas) via la commande (toujours via un terminal se trouvant dans le dossier du fichier)

sudo ./displaylink-driver-1.2.65.run

Redémarrez, branchez votre écran en HDMI ou VGA puis dans « Affichage » choisissez « Détecter les écrans ».
Tada !

Si l’installation du programme

Pour Windows il faudra passer par la page standard de Dell pour les pilotes : http://www.dell.com/support/home/fr/fr/frbsdt1/product-support/product/dell-universal-dongle-da200/drivers