Fouillez votre code avec grep

Aujourd’hui j’ai du explorer le code source php d’un site web écrit par quelqu’un d’autre. Lorsque l’on veut faire des modifications, il est vite important d’identifier où est utilisé telle ou telle variable, fonction,… C’est donc via une petite commande bash en utilisant grep que je m’aide. $ grep -n -r ‘$address_db’ * pour chercher […]

Spotify pour Linux

Bonne nouvelle pour tous les amateurs de musique, Spotify dont je vous avais parlé précédemment a sortit une version native pour Linux. Cela veut dire qu’il n’y a plus besoin de passer par skype et autres. Nuance à la bonne nouvelle, cela ne fonctionne que pour les comptes premium. Justifié par les développeurs car : […]

Backup avec rdup

Perdre ses données a toujours été une grande crainte pour moi mais aussi paradoxal que ça puisse paraitre, je ne faisais pratiquement jamais de backup. Pourquoi ? Simplement parce que je ne trouvais pas de soft qui me convenait. J’ai découvert il y a peu rdup qui m’a fait changer ma sale habitude.

la guerre des codecs video n’est pas finie

Une grande nouvelle est tombée aujourd’hui : Google a publié un nouveau codec Open Source nommé WebM. Faisons un petit résumé de la situation.