Niveau :
Résumé : optiong ; unfoo ; shopt -s dotglob ; GLOBIGNORE
Ah, le grand retour du vrac, ça faisait longtemps !
Reduire la taille d'un png (sans perte) :
# il semble en général meilleur que pngcrush $ apt-get install optipng # modifie le fichier inline $ optipng fichier.png
Décompression de n'importe quel format
# script de décompression $ sudo wget -O /usr/local/bin/unfoo http://obsoleet.org/code/unfoo/unfoo-1.0.6.sh $ chmod +x /usr/local/bin/unfoo # on cherche à décompresser toto.truc, on se fout du format $ unfoo toto.truc
Inclure les fichiers commençant par . dans * :
# option de bash $ shopt -s dotglob # et hop ils apparaissent $ echo *
Inclure les fichiers commençant par . dans * (bis) :
$ export GLOBIGNORE="." $ echo *
Obtenir la taille d'un périphérique de bloc (comme un disque) :
$ blockdev --getsize64 /dev/sda1
Raccourci pour connaître l'heure actuelle chez votre correspondant à l'autre bout de la planète :
$ alias pdate="TZ='Pacific/Noumea' date"
Comments