Original post of Romaine Lubrique.Votez pour ce billet sur Planet Libre.

$ sudo apt-get install encfs

$ sudo addgroup $USER fuse

$ encfs ~/chiffre ~/clair

$ fusermount -u ~/clair

$ encfs ~/chiffre ~/clair

Original post of Jean-Pierre Morfin.Votez pour ce billet sur Planet Libre.

Rappelons ce que sont les outils pour développeurs intégrés à Firefox : c’est comme Firebug, mais intégré en standard à Firefox (« natif »), et donc pas besoin d’installer ni mettre à jour une extension. C’est la garantie d’avoir des outils toujours en phase avec les modifications internes de Firefox, ce qui a pêché un peu avec Firebug ces dernières années (même si les développeurs de Firebug ont rattrapé leur retard récemment).

Ces outils, les « DevTools » en abrégé, arrivent bientôt à maturité avec des raffinements qui séduiront sans doute les développeurs accrochés à Firebug ou ceux qui sont passés à Chrome. Parmi ces raffinements, en voici quelques uns qui arriveront dans une prochaine version de Firefox :

• Modèle de boite éditable : on pourra modifier les marges intérieures et extérieures (margin, padding) et la bordure des éléments directement depuis l’inspecteur, dans l’onglet « Modèle de boite ».
• Cela nous rappelle d’ailleurs que l’inspecteur d’éléments montrera prochainement les marges dans la page comme Firebug, avec le code couleur qu’on peut voir sur l’image ci-contre, ce qui n’est toujours pas le cas dans Firefox 29. Nous sommes impatients de voir cette fonctionnalité indispensable arriver enfin en version stable. Nous vous en avions parlé en mars dernier. C’est normalement prévu pour juillet.
• Pipette de couleur dans l’inspecteur. On pourra modifier la couleur d’un élément non seulement en saisissant un code hexadécimal dans la règle CSS mais aussi piquer la couleur d’un autre élément de la page. Pratique pour faire des essais.
• Rejouer une requête avec cURL : il suffira pour cela de faire un clic droit sur la requête dans le moniteur réseau et sélectionner « copier comme cURL » puis ouvrir un terminal et coller la commande.
• L’éditeur de styles permettra de faire des sélections multiples, bien pratique pour ajouter, par exemple, « background: red » à plusieurs éléments à la fois et voir ce que ça donne. L’image animée ci-dessous en dit plus qu’un long discours :

À une échéance plus lointaine, mais indispensable aussi :

• Le débogueur offrira la possibilité de stopper sur la modification du DOM par JavaScript, comme le font Chrome et Firebug. La demande est enregistrée dans Bugzilla sous le numéro 1 004 678, à suivre…
• L’édition des scripts JavaScript « en live », comme le permet Chrome, est prévue selon Jeff Griffiths dans une réponse à une demande sur le canal de feedback des DevTools.

Vous retrouvez ces fonctionnalités et bien d’autres encore, en anglais, sur cet article du blog Mozilla Hacks. À noter, un détail sympa : alors qu’un commentateur râlait sur le fait que ces outils pour développeurs sont en retard sur Chrome soi-disant de plusieurs années, Paul Irish, développeur et porte-parole de Chrome, est venu rectifier et féliciter l’équipe de Mozilla pour ces avancées récentes. Jolie marque de fair-play !

Certaines de ces fonctionnalités arrivent bientôt, et si elles ne vous suffisent pas, Mozilla permet à ceux qui ont des bonnes idées de les partager sur le « canal de feedback » des DevTools.

Merci à Robert Nyman de Mozilla pour ses articles sur le sujet et pour la rapidité de ses réponses à nos questions.

Original post of mozillaZine-fr.Votez pour ce billet sur Planet Libre.

La situation actuelle de Musique Libre ! n’est pas des plus réjouissantes. Conséquence d’une longue mise en chantier d’une version 3 qui n’aura pu voir le jour finalement, et d’une archive dont la gestion s’est révélée des plus fastidieuses. C’est donc dans un contexte délicat que s’est malgré tout déroulée cette AGE. Les circonstances nous ont poussés à remettre en question la taille du site, afin de repartir sur des bases plus simples, compte tenu du manque de personnes compétentes disponibles, et du manque de soutien financier. Mais aux dernières nouvelles, la migration (urgente) du site/bases de données vers notre nouvel hébergeur (Aquilenet), devrait se faire d’ici peu. Il va sans dire que les mois à venir vont s’avérer cruciaux pour l’association. Le sursaut ou la fin ?

L’ordre du jour de l’AGE du 1er mai 2014 de Musique Libre ! (sur l’IRC #dogmazic) était donc le suivant :

• Bilan moral de l’association, en évoquant les difficultés de ces derniers mois ;
• Evolution/remise en question du site, selon les contraintes techniques et financières du moment ;
• Vote du bureau (Président, Trésorier et Secrétaire) ;
• Orientation politique de l’association.

Compte-rendu-AGE-2014

Original post of Dogmazic.Votez pour ce billet sur Planet Libre.

Pinta est un logiciel de retouche d’images intéressant, dans le sens où s’il n’est pas aussi complexe que des alternatives telles que GIMP par exemple, il n’en est pas moins assez fourni en options et permet en gros, d’effectuer toutes les opérations de base. C’est un très bon compromis pour ceux qui ont régulièrement besoin d’effectuer quelques retouches, sans pour autant avoir besoin de sortir l’artillerie lourde ou de disposer de grandes connaissances en la matière. Je vous avais parlé il y a quelques temps de la version 1.5 de pinta, qui était alors en développement et qui promettait d’être assez sympa. Celle-ci est désormais disponible, embarquant de nombreuses améliorations et quelques nouvelles fonctionnalités.

Comme je l’avais évoqué dans le précédent billet, une grande quantité de code obsolète a été nettoyée et l’amélioration du soutien à GTK +3.x a permis une meilleure intégration de Pinta dans les environnements de bureau Unity, GNOME Shell et Cinnamon. Les fonctions de déplacement d’objets et de sélections ont été améliorées et permettent désormais d’effectuer des rotations à l’aide du clic droit de votre souris.

On notera également l’apparition d’un mode d’aperçu dans la boîte de dialogue « Ouvrir un fichier » prenant en charge un grand nombre de formats dont Ora et le relooking des curseurs de souris pour les différents outils. Cette nouvelle version de Pinta améliore également la compression des images JPG et permet désormais de garder en mémoire les options de compression sélectionnées afin de permettre aux utilisateurs des les réutiliser par défaut.

Un nouvel outil a aussi fait son apparition et va désormais vous permettre de gérer la recherche, l’installation, la mise à jour et la suppression de modules supplémentaires depuis l’application :

Dans les faits il n’y en a pas encore de disponibles, mais les développeurs y travaillent et vous devriez voir débarquer des plugins dédiés assez rapidement. Il était également question de permettre aux utilisateurs d’utiliser des plugins conçus pour GIMP, mais je vous avoue que je ne sais pas où ça en est…

Pour finir on notera la résolution de pas loin d’une centaine de bugs, concernant entre autres la grille de pixels pour les très petites images, un bug dans l’outil texte, dans l’outil de sélection (qui restait parfois visible après l’annulation d’une sélection rectangulaire) et différents bugs liés à MONO.Cairo.

Bref, que du bon…

Si vous voulez en savoir un peu plus sur cette nouvelle version de Pinta, vous pouvez consulter l’annonce de sortie en vous rendant sur cette page. Vous y trouverez également les sources pour GNU/Linux, ainsi que les binaires pour MS Windows et Mac OS X.

Si vous tournez sur Ubuntu et dérivés vous pouvez aussi utiliser un PPA dédié à l’aide des commandes suivantes :

sudo add-apt-repository ppa:pinta-maintainers/pinta-stable
sudo apt-get update
sudo apt-get install pinta

Et enfin pour Archlinux, Manjaro et dérivés, c’est via AUR ou les dépôts Community que ça se passe.

Amusez-vous bien.

Original post of La vache libre.Votez pour ce billet sur Planet Libre.