Il y a quelques semaines mes amis Paul et Nicolas m’ont encouragé a essayé une alternative à Bash, le shell que nous utilisons généralement tous par défaut. Le changement s’est pratiquement fait directement (je suis un gros utilisateur de la console).
Changer de shell dans la console, c’est comme changer d’environnement de bureau (GNOME, Kde, etc) : globalement c’est la même chose, mais la manière dont ils sont présentés va varier. Alors Zsh, ça apporte quoi par rapport à Bash ?
Concrètement, on peut le voir comme une surcouche : la syntaxe des commandes ne change pas énormément. Les principales fonctionnalités qui vous feront basculer sont celles qui apparaissent en mode interactif :
- l’auto-complétion/complétement (faites votre choix sur la terminologie) est vraiment puissant et paramétrable,
- la correction des commandes est magique, et évite de retaper de longues commandes pour une faute de frappe,
- une meilleure gestion de l’historique des commandes.
En plus, zsh supporte de nombreux plugins et supporte un mécanisme de thèmes, dont une impressionnante collection est maintenue sur un dépôt github dans un projet appelé Oh-My-Zsh. Il suffit de cloner le dépôt en local, de suivre le Readme, et de choisir son thème pour qu’en quelques minutes, Zsh soit adopté !
En plus, de nombreux thèmes supportent nativement le plug-in git qui offre la complétion/le complétement et affiche la branche de travail et si des données n’ont pas été archivées dans un commit.
En ce qui me concerne, j’ai choisi le thème “jreese”. Si vous avez le loisir de commenter et de me recommander des plug-ins ou docs pour encore améliorer ma productivité, je suis preneur !
Les laboratoires Mozilla présentent aujourd'hui Bespin, un éditeur collaboratif de pages web en ligne.
Un regard sur les solutions les plus courantes pour maitriser la
séparation entre la logique métier et la vue dans les applications PHP.
Un petit guide pour installer Zend Debugger sur votre serveur et son client sous forme d'extension à PDT, le module de développement PHP pour Eclipse, le tout sous Ubuntu.
Parfois, la connexion à internet dont on dispose ne nous permet pas d'utiliser SSH pour travailler à cause de certaines restrictions sur le réseau, notamment quand le port 22 est bloqué. On a donc recours à une petite astuce : changer le port d'écoute du serveur.
Vous êtes l'heureux possesseur d'un Creative Zen Touch et souhaitez faire la mise à jour du firmware ? Prenez garde !
Même si le site est réalisé en PHP, les extensions de la page sont .html, on trouve même des virgules dans certains noms de fichiers. Voici pourquoi.