Linux and Free Software Blog

Dans cet article, vous découvrirez comment faire en sorte que Vim ait un système de templates.

Les templates sont assez utiles pour gagner du temps. Une fois que vous aurez appliqué l’astuce de cet article, Vim remplira automatiquement vos nouveau fichiers (vierges donc) avec le contenu de votre choix !

Vim / gVim, éditeur texte, une icône

Lire la suite »

Si vous avez déjà lu quelque chose sur les règles typographiques françaises, vous savez qu’il faut insérer une espace avant les signes de ponctuation doubles ( ! ? ; : ) et après d’autres caractères, comme les guillemets français : « ».

Le souci, c’est que dans la pratique, il arrive qu’un mot ou un caractère revienne à la ligne quand il est précédé par une espace, ce qui ne fait pas très « beau » (en plus d’être incompatible avec les règles typographiques).

Par exemple, supposons qu’on soit limité à 20 caractères par ligne et que la phrase « Oui, Salut le monde ! » se trouve dans une seule et même ligne :

--------------------
Oui, Salut le monde
!
--------------------

Le point d’exclamation a été automatiquement mis dans la deuxième ligne alors que « monde » est resté dans la première. Le mieux aurait été d’avoir ce résultat (automatiquement, sans faire descendre « monde » manuellement !) :

--------------------
Oui, Salut le
monde !
--------------------

Lire la suite »

Google marque encore des points face à ses concurrents en vous annonçant le lancement de son nouvel accélérateur de page web. Encore une progression qui risque de révolutionner le net !

Le géant de Mountain View travaille sur ce projet depuis déjà deux ans, après plusieurs tests et plusieurs modifications, la version officielle 1.0 vient de voir le jour. Cet aboutissement n’est pas bien étonnant vu le nombre important de sites ayant déjà adopté cette solution sous la version béta. Mais de quoi s’agit-il exactement ?

Lire la suite »

Il y a déjà deux mois, Mozilla Firefox avait affirmé que le nombre de téléchargements des différentes extensions proposées par les développeurs avait atteint les 3 milliards. En effet, leur nécessité pour faciliter votre navigation est indiscutable aujourd’hui. Comment faire votre choix parmi tant de variétés ?

Nous avons sélectionné pour vous un must-have d’extensions,  de quoi optimiser l’utilité de votre navigateur web. Voici donc le classement des huit meilleurs extensions les plus utilisés dans le monde… Lire la suite »

Abonnez-vous par Email :

Inscrivez-vous et recevez les dernières News en Informatique et web :

Vous pouvez aussi vous abonner via :

Facebook
Flux RSS
Inscription sur Facebook :