Categories
GNU/Linux

Commandez tous vos lecteurs audio facilement

Il y a quelques temps, j’ai créé une section code qui reste dramatiquement vide. Voici l’occasion de la remplir avec un petit script bash (pour linux donc) qui si vous êtes féru de musique et utilisez plusieurs lecteurs différents pourrait vous être utile. Lorsque j’écoute de la musique, il se peut que ce soit une […]

Categories
Tutorial

Personnalisez vos extensions mozilla

Une petite astuce que j’ai découvert en fouillant un peu mon profil Thunderbird : il est assez facile de modifier l’aspect d’une extension. Dans mon cas, il s’agissait de l’extension Lightning pour Thunderbird. Dans le cas de la vue par mois, il arrive que j’ai trop d’évènement pour tout afficher dans une seule case. Un […]

Categories
GNU/Linux

OpenOffice je te hais

*Attention cet article est un coup de gueule avec grande propension au troll* Aujourd’hui on peut dire qu’avec des distributions tel qu’ubuntu, la différence entre un OS commercial (j’ai deux noms sur le bout de la langue mais impossible de m’en rappeler 😐 ) et Linux est d’en plus en plus faible. Plus besoin d’utiliser […]

Categories
GNU/Linux Tips

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 […]

Categories
GNU/Linux

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 : […]