momh

Réencoder des fichiers en UTF-8

Brice Boucard — 2020-03-24T18:28:00Z

Régulièrement, les sous-titres (téléchargés en ligne de commande) ne sont pas pris en compte par omxplayer que j'utilise sur mon Raspberry Pi ; la raison ? Ils ne sont tout simplement pas en UTF-8...

J'ai longtemps utilisé la commande recode mais depuis une réinstallation complète d'une Raspbian Buster sur mon Raspberry Pi 2, et d'une modification du montage des disques de mon NAS, je rencontre des problèmes de permissions...

Du coup, grâce à deux contributions d'une même conversation (celles de Pierre Fabier et d'un inconnu), j'ai produit un petit script.

Si ce n'est pas déjà fait, on crée un répertoire bin/ dans notre home :

mkdir ~/bin

puis on y crée notre script :

nano ~/bin/toutf8

dans lequel on insère :

#!/bin/bash # Find the current encoding of the file encoding=$(uchardet "$1") if [ ! "UTF-8" == "${encoding}" ] then # Encodings differ, we have to encode echo "recoding from ${encoding} to UTF-8 file : $1" vim +'set nobomb | set fenc=utf8 | x' "$1" else echo "Already utf8 encoding" fi

On le rend exécutable :

chmod +x ~/bin/toutf8

Pour le faire fonctionner, il convient bien d'avoir installé les paquets uchardet (plus fiable que la commande file -i qui renvoie régulièrement des « unknown-8bit » impossible à passer en argument de recode ou à traiter par ce script) et bien sûr vim :

sudo apt install uchardet vim

Ensuite, où que vous vous trouviez, vous pourrez appeler le script simplement :

toutf8 nom_du_fichier

Un petit script pour écouter la radio depuis un terminal

Brice Boucard — 2018-07-22T05:19:00Z

Afin de faciliter l'écoute de certaines radio en streaming, et surtout sans utiliser un navigateur web, de plus en plus gourmand en ressources, j'utilise désormais un petit script bash qui utilise mplayer.

mkdir /home/$USER/bin touch /home/$USER/bin/radio chmod +x /home/$USER/bin/radio nano /home/$USER/bin/radio

#!/bin/bash usage () { echo '*****************************************************' echo '******************** Radio **************************' echo '*****************************************************' echo ' - beaub : BeaubFM, radio associative de Limoges' echo ' - culture : France Culture' echo ' - info : France Info' echo ' - inter : France Inter' echo '*****************************************************' } case $1 in beaub ) mplayer http://beaubfm2.ice.infomaniak.ch/beaubfm2-96.mp3 ;; culture ) mplayer http://direct.franceculture.fr/live/franceculture-midfi.mp3 ;; info ) mplayer http://direct.franceinfo.fr/live/franceinfo-midfi.mp3 ;; inter ) mplayer http://direct.franceinter.fr/live/franceinter-midfi.mp3 ;; -h | --help ) usage exit ;; * ) usage exit 1 esac

Ensuite, il suffit de choisir sa radio et de lancer la commande suivante (par exemple) :

radio culture

Auto-complétion des stations

On crée le fichier radio-completion.bash :

nano /home/$USER/bin/radio-completion.bash

dans lequel on colle les deux lignes suivantes :

#/usr/bin/env bash complete -W "beaub culture info inter" radio

lancez la commande suivante :

source /home/$USER/bin/radio-completion.bash

Et vous devriez avoir les stations qui vous sont proposées lorsque vous pressez la touche Tab à la suite de la commande radio et au fur et à mesure de votre saisie.

Quels outils pour réduire CSS et JS ?

Brice Boucard — 2018-07-22T05:15:00Z

cleancss

sudo apt install cleancss

Ensuite, il suffit de lancer la commande :

cleancss -o mon_fichier.min.css mon_fichier.css

Traitement par lot

Mais c'est un peu lassant de répéter cette opération lorsque l'on a de multiples fichiers à traiter. J'ai donc adapté le script proposé par Marco G qui utilise yui-compressor.

On crée donc le script mincss dans notre /home/bin puis on le rend exécutable avant d'y coller le script ci-dessous :

mkdir /home/$USER/bin touch /home/$USER/bin/mincss chmod +x /home/$USER/bin/mincss nano /home/$USER/bin/mincss

#!/bin/sh echo Compressing CSS Files... saved=0 for f in `find -name "*.css" -not -name "*.min.css"`; do target=${f%.*}.min.css echo "\t- "$f to $target FILESIZE=$(stat -c%s "$f") cleancss -o $target $f FILESIZEC=$(stat -c%s "$target") diff=$(($FILESIZE - $FILESIZEC)) saved=$(($saved + $diff)) echo "\t $diff bytes saved" done echo "Done ! Total saved: $saved bytes"

UglifyJS

Pour les fichiers Javascript, j'utilise UglifyJS

sudo apt install node-uglify

ou en utilisant npm l'utilitaire de gestion des paquets de NodeJS :

sudo npm install -g uglify-js

La commande uglifyjs est désormais disponible :

uglifyjs mon_fichier.js -o mon_fichier.js.min.js

Ajouter la compression :

uglifyjs mon_fichier.js -o mon_fichier.minc.js -c

Ajouter en plus l'«  altération  » :

uglifyjs mon_fichier.js -o mon_fichier.minc.js -m

On peut ainsi lancer la commande pour n'obtenir plus qu'un fichier à partir de tous les fichiers spécifiés :

uglifyjs *.js -o output.js -c -m

uglifyjs-folder

Pour traiter l'ensemble des fichiers d'un répertoire (et de ses sous-répertoire), on peut également utiliser uglifyjs-folder.

sudo npm install -g uglifyjs-folder

Pour compresser tous les fichiers d'un répertoire, il suffit de lancer :

uglifyjs-folder mon_dossier/ -o script.min.js

On peut aussi vouloir conserver des fichiers séparés, ce que permet l'option -e ; dans un tel cas, l'arborescence du dossier traité est conservé dans le répertoire indiqué avec l'option -o :

uglifyjs-folder ../test/ -o output/ -e