samedi 30 juin 2012

Fonds d'écran dynamiques


Vous aimez configurer votre espace de travail selon vos humeurs. Voici une petite astuce qui permet de définir des fonds d'écran qui évoluent dynamiquement.
Dans un premier temps, sélectionnez les fonds d'écran que vous voulez voir défiler. Le principe est de réaliser un roulement sur base de plusieurs fonds d'écran.
Ensuite rendez-vous dans le répertoire /usr/share/background/. Vous y trouverez un ou plusieurs fichiers xml. Faites en une copie et éditez-le. Vous y trouverez la liste des fonds d'écrans et les différentes transitions. Il suffit de remplacer et adapter le fichier selon vos besoins.
Ensuite, vous créez un nouveau répertoire avec vos fonds d'écran et votre copie du fichier xml.

Dans les précédentes versions de Gnome, il suffit de se rendre dans la configuration des thèmes de bureau, section arrière-plan, cliquez sur ajouter, rendez vous dans votre nouveau répertoire et changer la sélection images en all files, choisissez le fichier xml et c'est gagné.


Depuis Gnome Shell cette approche n'est plus possible. Il est cependant possible de modifier directement la clé org/gnome/desktop/background/pictureuri dans le dconf-editor en y renseignant le chemin de votre fichier xml. Dans mes tests, la versions qui se trouvait dans /usr/share/gnome/contest ne fonctionnait pas (erreur de syntaxe dans mon édition?). J'ai donc réutilisé le fichier qui se situait dans /usr/share/themes/Adwaita/backgrounds avec succès cette fois.



vendredi 29 juin 2012

Manipulation pdf

J'ai découvert récemment sur le blog de l'excellent korben, un petit utilitaire de manipulation de pdf en ligne de commande.

sudo apt-get install poppler-utils

Comme annoncé chez korben, il vous permettra d'extraire des images (pdfimages) ou de convertir un pdf en texte (pdftotext) ou en html (pdftohtml).
Ce paquet permet également de décomposer un pdf en plusieurs pages ou de recomposer plusieurs pdf en un seul.

Exemples :

pdfseparate -f 1 -l 10 monpdf.pdf resultat%d.pdf

Vous permet d'extraire les pages 1 à 10 en produisant des pdf d'une seule page nommés de resultat1.pdf à resultat10.pdf.

pdfunite resultat1.pdf resultat2.pdf resultat10.pdf final.pdf

Regroupe les trois pages en argument en un seul document pdf.

pdfimages monpdf.pdf pictures/

Exporte les images de votre pdf dans le répertoire pictures (créé au préalable)

Widget meteo

Envie d'un petit widget meteo dans Gnome Shell? Voici la procédure d'installation :

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-weather


Si ce n'est pas encore fait, il vous faudra ensuite installer tweak

sudo apt-get install gnome-tweak-tool


Vous pouvez alors activer le widget dans la section Shell extensions.

Pour terminer le paramétrage, rendez vous sur http://weather.yahoo.com pour identifier votre WOEID.
Il ne vous reste plus qu'à paramétrer le widget en conséquence.


mercredi 27 juin 2012

Imprimer plusieurs documents

Ajourd'hui, je souhaite imprimer une dizaine de pdf, si possible en une seule action.
Pour y arriver, j'ai trouvé la commande suivante en demandant à google :

lpr -R <mon_imprimante> *.pdf


Essayons de généraliser cette fonctionnalité.
1. On crée un fichier exécutable Print.sh avec le contenu suivant :

#!/bin/bash
for arg
do
lpr "$arg"
done


2. On copie ensuite ce fichier dans le répertoire ~/.gnome2/nautilus-scripts/
Désormais, il suffit de sélectionner un groupe de fichiers quelconques, clic-droit, script>Print.sh
On aura bien compris que, dans ce cas, l'imprimante utilisée sera celle par défaut.

Voila donc une petite introduction aux scripts dans un menu contextuel :o)



mardi 19 juin 2012

Tint2 taskbar

Depuis ma migration sous Ubuntu 12.04 et Gnome Shell, une chose me manque encore terriblement : la possibilité de voir la liste de mes fenêtres ouvertes sans devoir passer par le dash. Et donc aussi de pouvoir basculer d'une application à une autre en un simple clic.

Je vous propose donc un petit panel qui résout ce problème : tint2. Simple à installer :

sudo apt-get install tint2


Il suffit alors de placer tint2 dans les applications à démarrer.


Fermez et ouvrez une nouvelle session, votre taskbar s'affiche en bas de l'écran. Elle s'intègre assez bien dans le bureau mais vous perdez à nouveau quelques pixels dans le bas de l'écran. On ne peut pas tout avoir.
Attention, l'outil graphique de configuration ne permet pas de modifier les paramètres. Pour ce faire, vous devez modifier le fichier ./config/tint2/tint2rc avec gedit. Vous trouverez un peu d'aide ici.