blog.Aguillem.fr

Si il y a bien une chose qui m'agace (voir me rebute) quand je laisse un commentaire sur un blog, c'est de devoir obligatoirement renseigner mon adresse e-mail. Et pourtant, c'est le cas sur la plupart des blogs. Pourquoi est-ce obligatoire ? Est-ce vraiment utile ?

Lire la suite ...

J'ai eu besoin il y a un petit moment de déplacer une partition ext3 qui était située en fin de disque pour l'agrandir et permettre aussi des temps d'accès plus rapide. Il s'agissait en effet de ma partition dédiée à Ubuntu, et comme je voulais qu'Ubuntu devienne mon OS principal, il fallait lui en donner les moyens. Je voulais donc enlever quelques gigas à XP (situé en début de partition) pour les affecter à Ubuntu. Seulement, mis à part quelques tutoriels pour redimensionner une partition ext3, j'ai bien eu du mal à trouver comment la déplacer, surtout pour une partition système. Une solution facile est de passer par le LiveCD de Gparted, encore faut-il avoir une connexion suffisante pour le télécharger rapidement, ce qui n'était pas mon cas à l'époque. Voici donc une petite méthode pour pouvoir déplacer une partition ext3 depuis le liveCD d'Ubuntu...

Lire la suite ...

J'ai eu l'autre jour à mettre en place des modifications de charte sur un site existant à partir d'une maquette fournie par une agence de com. J'intégrais donc au fur et à mesure les modifications HTML ainsi que les styles CSS liés, pour garder un code le plus propre moins pire possible (le code fourni ayant été généré au mieux avec Dreamweaver en mode création :( ).

Et là, vlà t'y pas que j'ai une différence de taille de police ?!!

Je revérifie donc les CSS bien consciencieusement, j'utilise l'option "Edit CSS" de Web Developer pour enlever mes styles pouvant etre sources de conflit un à un... RIEN, que dal, niet, nada ! J'ai passé pas loin d'1/2h là dessus...

Donc un petit réflexe à avoir lorsque l'on trifouille des styles CSS : faites en cas de doute un petit CTRL + 0 (sous Firefox en tout cas). Ce raccourci permet de remettre la taille du texte coté navigateur à la taille originale.

Et oué, j'avais du faire un petit coup de CTRL + molette sans faire exprès, ce qui avait agrandi la police... La honte d'avoir cherché aussi longtemps...

Et vous ? des grands moments de solitude de développeurs ?

Maintenant que je développe en Java, je travaille sous le logiciel de développement Eclipse, qui est en passant un produit merveilleux pour coder rapidement (auto-complétion, checkstyle, multi-langages, gestion de CVS et SVN, pleins de plug-ins disponible, etc...) et il est surtout gratuit ! Cependant il lui arrivait régulièrement de planter lors d'opérations assez lourde (sauvegarde importante, compilation, déploiement, etc...) : java.lang.OutOfMemoryError: PermGen space

Heureusement, j'ai enfin trouvé la solution à ce problème via le blog de Régis. Il suffit donc de modifier le fichier de configuration eclipse.ini en augmentant la taille mémoire autorisée :

-XX:MaxPermSize=256m

Et maintenant plus de soucis...

Oui je sais, le blog aurait du reprendre son cours normal ces derniers temps... mais j'ai pas mal de trucs à faire en ce moment (satanée vie sociale!!!), et je n'ai pas trop le temps de venir poster. Ca fait un petit moment que cette idée me trottait en tête, et vu que ça ne demande pas trop trop de temps, je vais vous lister les extensions que j'utilise pour mon petit panda roux. Certaines sont très connues, d'autres surement moins, donc on ne sait jamais, il y en a peut-être qui vous intéresseront. Pour structurer un peu tout ça, je vais les classer en deux catégories : celles que j'utilise pour le développement et celles que j'utilise pour pour le surf. Et aujourd'hui ça sera les extensions développement...

Lire la suite ...