Linux command line bash GNOME Terminal screenshot

[LINUX] Comment faire un clear screen du terminal?[LINUX] Comment faire un clear screen du terminal?

A force de taper des commandes dans tous les sens dans votre terminal linux (tout bêtement appelé invite de commande sous Windows) il se peut que celui-ci ai besoin d’un bon coup de balais. La commande clear screen est justement là pour faire le ménage. Mots clefs liés à cet article:terminal linuxcommande linux consoleraccourci icone […]

LIRE PLUSLIRE PLUS

[Eclipse] Comment augmenter la taille de la police de l’éditeur?[Eclipse] Comment augmenter la taille de la police de l’éditeur?

Par défaut, la police de l’éditeur dans Eclipse est du Consolas 10. Ce qui pour certains d’entre nous peut être un peu petit (Ben oui nos yeux ne sont pas de dernières jeunesses, surtout quand on bosse toute la journée sur un écran). Nous allons donc voir comment modifier cette police (et surtout la taille […]

LIRE PLUSLIRE PLUS

[Java] Comment modifier les identifiants de connexion dans l’extension Subclipse de ECLIPSE?[Java] Comment modifier les identifiants de connexion dans l’extension Subclipse de ECLIPSE?

Dans ECLIPSE, le plug-in Subclipse est un client pour SVN (un gestionnaire de version). Le problème, c’est que cette extension ne possède pas d’interface graphique pour la gérer. Pas d’interface graphique, implique du coup des problèmes le jour ou vous devez modifier le mot de passe ou le compte que vous utilisez pour vous connecter […]

LIRE PLUSLIRE PLUS
Chine hong kong Je suis Charlie hebdo

[Actu] Nous sommes Charlie, Je suis Charlie[Actu] Nous sommes Charlie, Je suis Charlie

Je suis Charlie Parce qu’un dessin peut faire plus de mal que des mots. Parce qu’avec un dessin on peut faire tomber n’importe quel régime. Parce que l’on ne pourra jamais bâillonner un dessin. Mots clefs liés à cet article:déssiner tuedessin je suis charliehumour rentrée scolairecharlie hebdo chineje suis charlie brownje suis charliecharlie brown je […]

LIRE PLUSLIRE PLUS

[Actu] Meilleurs vœux pour cette nouvelle année 2015[Actu] Meilleurs vœux pour cette nouvelle année 2015

2014 c’est fini. 2015 est une année toute neuve. Bonne et heureuse année 2015. Tous mes vœux de bonheur. Que celle-ci soit pour vous remplie de joie et de bonheur. Et que les bogues ne viennent pas perturber vos lignes de code… Mots clefs liés à cet article:bonne année 2016 humourbonne année 2016 marrantsouhait bonne […]

LIRE PLUSLIRE PLUS
Le Pere Noel en retraite ou au chomage.

[Actu] Mais que fait le Père Noël?[Actu] Mais que fait le Père Noël?

Pour la cinquième année consécutive le Père Noël s’invite sur ce blog. Et celui-ci semble s’approcher à grand pas pour distribuer ses cadeaux aux petits et aux grands. Déjà, en cette fin d’année, tous les magasins sont prêts à l’aider dans sa lourde tâche pour faire tourner notre société de consommation. (Les lutins aux dernières […]

LIRE PLUSLIRE PLUS