MPV, un lecteur open source, est plus léger et lis absolument tous les fichiers, je n’ai encore jamais croisé un fichier qui lui résistait.

Source : IINA, lecteur vidéo pour macOS basé sur MPV – Matronix.fr

Je ne connaissais pas MPV. Du coup je l’ai installé et en effet, il lit tout !

Une « alternative » à « IINA » pour Linux c’est « BOMI » : http://bomi-player.github.io/gallery.html

Pour l’installer sur Ubuntu 16.04 il faut faire :

sudo add-apt-repository ppa:darklin20/bomi

Aller dans le « gestionnaire de mises à jour » > Autres logiciels > Sélectionnez la ligne de dépôt de BOMI > Modifier… > Changer « xenial » en « vivid ». Fermer

sudo apt update

sudo apt-get install bomi

Une fois BOMI lancé, appuyer sur la touche P et dans « Theme », choisir votre thème (liste déroulante sous Skin).

Perso j’ai une préférence avec :

• Tethys
• Metro

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