SkyMinds ~ by Matt - sysadmin, WordPress dev, formateur

Nouveau téléphone: Xiaomi Poco F3 (5G)

Par Matt Biscay 08 septembre 2021

Après 7 années de bons et loyaux services pour mon OnePlus One, ainsi que deux mises à jour du système d’exploitation vers LineageOS, je suis passé sur un tout nouveau téléphone: le Xiaomi Poco F3 5G.

Caractéristiques

Je vous la fais courte: après 7 ans sur mon ancien téléphone, je revis avec le Poco F3. Tout est plus grand, tout est plus rapide et j’ai même la 5G dans ma campagne profonde, c’est dire!

Dans les détails, nous avons donc 8 Go de RAM et 256 GO de mémoire, un écran de 6,67 pouces AMOLED 120 120Hz , un processeur Snapdragon 870 et une triple caméra de 48MP, le tout avec une batterie de 4520mAh et 2 ans de garantie.

Photos et son

Je trouve l’écran très bon mais Cécile pense que les Realme font de meilleurs photos, plus lumineuses. Personnellement, je trouve la qualité assez bonne (mais je ne suis pas du tout photographe).

Le son est bon, grâce aux amplis stéréo. Par contre, pas de prise jack, il faut passer par le petit adaptateur fourni pour brancher son casque (qui branche encore un casque?!)

OS : MIUI

C’est aussi la première fois que j’ai un téléphone avec la surcouche MIUI sous Android 11: c’est clair, net et beau ! Pas besoin de skinner l’apparence pour avoir quelque chose de potable, c’est un super gain de temps.

Bon point également pour les widgets. Dans le passé, j’ai acheté des widgets météo pour avoir quelque chose de joli. Là, tout est vraiment bien léché et mis à jour en temps réel.

Un très bon téléphone

J’aime beaucoup ce nouveau téléphone pour sa batterie qui tient plusieurs jours, la dernière version d’Android sans mettre de ROM alternative (bon, cela viendra un jour mais pas tout de suite), et également le fait qu’il a été capable de tout importer (photos, applications) de mon ancien téléphone en un temps record.

J’apprécie également le temps de recharge express: il suffit de 30 minutes pour avoir une charge complète du téléphone, c’est idéal pour les têtes en l’air qui rechargent le téléphone quasiment au moment de partir.

Que de changements avec ce nouveau téléphone, c’est vraiment extrêmement agréable de repartir sur une base solide (comme mon OnePlus à l’époque!).

Notez que le Poco F3 est en promo actuellement sur Amazon.

Web/Tech

Caster des contenus vidéos sur une télévision

Par Matt Biscay 27 août 2021

Avec la multitude de services de diffusion de contenus comme Netflix, Amazon Prime ou Canal+, il n’est pas rare d’avoir un accès au service depuis une tablette ou un ordinateur mais il n’est pas toujours aisé d’envoyer le contenu vidéo directement sur la télévision.

Voici quelques astuces pour caster vos contenus vidéos sur votre télévision, en quelques secondes et sans prise de tête.

Utiliser Chrome pour caster les vidéos

Hé oui, si vous avez une ChromeCast par exemple, il est vraiment bien plus simple d’utiliser le navigateur Chrome qui possède une option qui s’appelle tout simplement Caster.

Je suis fervent utilisateur de FireFox et il faut bien avouer que là, on ne peut pas rivaliser avec Chrome en ce qui concerne le casting.

Lire une vidéo depuis les services de streaming

Si vous utilisez un service de streaming, lancez le site, choisissez votre film ou série et lancez-la.

Ensuite, cliquer sur l’icône kebab (l’icône avec les trois points verticaux) à côté de votre avatar Google et de la barre de recherche puis sélectionnez l’option Caster:

Caster des contenus vidéos sur une télévision photo — Diffuser sur la TV avec Chrome

Une fenêtre de notification apparaît et vous offre la possibilité de choisir l’appareil vers lequel envoyer la diffusion de la vidéo.

Et c’est tout ! On ne peut pas faire plus simple!

Web/Tech

Calculer la durée totale des vidéos d’un dossier

Par Matt Biscay 06 août 2021

Dans le cadre d’une formation en ligne, j’ai cherché à connaître la durée totale des fichiers vidéos qui étaient contenus dans un dossier.

Il est toujours intéressant de donner le nombre d’heures de vidéos sur une fiche produit par exemple, pour que le client puisse avoir une idée avant d’acheter.

Pour ce faire, nous avons plusieurs options: ffmpeg d’une part ou alors mediainfo.

J’ai lancé un petit apt install factice sur le serveur : installer ffmpeg revient à installer 110 nouveaux paquets, soit 600 Mo. En comparaison, mediainfo ne requiert que 3 paquets, soit 2.3 Mo.

Nous utiliserons donc mediainfo pour nos tests.

Calculer la durée de chaque fichier

Voici comment calculer la durée de chaque fichier, en format lisible par tous:

 mediainfo --Output="General;%Duration/String%" *.mp4
38 min 6 s

Voici comment calculer la durée de chaque fichier, mais cette fois au format timecode (xx:xx:xx.xx) :

 mediainfo --Output="General;%Duration/String3%" *.mp4
00:38:06.12

Ces deux commandes nous donnent la durée de chaque fichier MP4 présent dans le répertoire.

Nous allons maintenant voir comment les additionner pour obtenir la durée totale des enregistrements du dossier.

Calculer la durée totale des fichiers d’un dossier

Nous allons utiliser la dernière commande, celle qui nous donne les durées au format timecode, et allons ajouter toutes ces durées pour obtenir la durée totale des enregistrements présents dans notre dossier.

Voici la commande:

mediainfo '--Output=Video;%Duration%\n' *.mp4 | awk '{ sum += $1 } END { secs=sum/1000; h=int(secs/3600);m=int((secs-h*3600)/60);s=int(secs-h*3600-m*60); printf("%02d:%02d:%02d\n",h,m,s) }'

Résultat:

21:03:48

Nous avons donc un peu plus de 21 heures d’enregistrements pour notre cours en ligne :)

Tutoriels sysadmin, WordPress et WooCommerce, culture libre et geek.