Informatique

Stylish! Donnez du style à vos pages web !

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: http://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.

Finalement, Virtualbox c’est pas si mal !

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.

L’installation de Virtualbox est simple, il faut simplement ne pas oublier d’installer le « Virtualbox Extension Pack » (lien dans « All supported Platforms ») après et de l’installer 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.

Capture d'écran de Windows 10 en virtualbox

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

[MÀJ] Firefox & Thunderbird : régler les problèmes d’affichage de résolution élevée (high dpi)

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 :

thunderbird-hdpi screenshot

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

Via

Linux : Créer un raccourci clavier pour éteindre l’écran

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.

Dell DA100/DA200 – Adaptateur/Dock Ubuntu 16.04 compatibilité

(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.

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

 

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 »)

(ou ici s’il n’est plus disponible)

Décompressez l’archive, rendez le fichier « .run » executable soit par la commande

chmod +x displaylink-driver-1.2.65.run

Soit en faisant clique-droit sur le « .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

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 !

 

(Je remercie l’auteur de ce commentaire : http://en.community.dell.com/techcenter/os-applications/f/4613/p/19630170/20818456#20818456)

 

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