La semaine dernière, le disque dur de mon MacBook Pro s’est mis à émettre de gros « TIC », symptôme légèrement inquiétant pour un ordinateur âgé de seulement 3 mois. Après une rapide visite chez le réparateur Apple du coin, le verdict est tombé : disque dur HS… Pour la petite histoire, les « TIC » sont en théorie normaux [...]

Si vous avez comme moi l’habitude de switcher entre plusieurs serveurs SSH, vous devez probablement avoir mis en place une petite routine pour gérer toutes ces connexions. Personnellement, j’avais pris l’habitude d’utiliser de simples alias placés dans le fichier de configuration de mon Shell, mais au fur et à mesure que [...]

J’ai pris l’habitude depuis que je fais du développement web d’utiliser phpMyAdmin pour gérer mes bases de données. C’est quand même plus pratique que la ligne de commande et ça permet de faire pas mal de choses. Récemment, un ami m’a fait découvrir Sequel Pro , un petit soft de gestion [...]

L’utilisation de vim peut paraître déroutante au premier abord, surtout lorsque l’on a toujours utilisé des éditeurs graphiques. Et pourtant, il ne faut en aucun cas se fier à son apparente austérité : vim est un outil très puissant avec lequel vous ne serez jamais limité. C’est d’ailleurs pour cela qu’il [...]

S’il vous arrive d’utiliser FileZilla pour une édition rapide de temps à autre, vous voudriez peut-être que les fichiers s’ouvrent avec votre éditeur de texte favoris. Pour cela, rien de plus simple, il faut associer les types de fichier avec un éditeur dans le menu Préférences-> Edition de fichiers-> Associations [...]

De retour de vacances, je partage avec vous une manipulation qui m’a été bien utile au cours de mon périple. En effet, vous est-il déjà arrivé de vouloir partager la connexion internet 3G de votre smartphone Android afin de naviguer tranquillement sur votre Mac ? Dans le cas présent, ce [...]

Aujourd’hui, je vous propose mon .zshrc que je viens tout juste de réécrire, ce qui est toujours utile, dans le cas ou vous n’auriez pas envie de vous encombrer de cette formalité. Mais avant ça, petite piqûre de rappel pour les non initiés.   Qu’est ce que zsh ? Zsh [...]

Pour ce premier article, une petite astuce bien sympathique pour récupérer une video sur le net grâce à safari. En effet, comment faire si l’on désir copier une video d’un site tel que Youtube ou Dailymotion sur son disque dur pour pouvoir ensuite la visionner sans connexion internet (utile dans [...]