I’m taking a language class at my university, and there are sound files online that we use for our homework. The sound files are streamable through some embedded Quicktime player, without the option for a direct download. So I just need to install some Quicktime plugin for my browse–screw that, I’m gonna find a way [...]
Category Archives: Linux
Time/date conversion at the command line
When I didn’t trust my mental ability to convert dates and times, I relied on online tools like http://worldtimeserver.org/, but this task can easily be done from the command line (and without an internet connection). For instance, I am now in Taipei, and I want to know what time it will be here when it [...]
Posted in Linux Leave a comment
Simple logging in Bash scripts
I couldn’t find much mention of logging utilities for Linux shell scripting (namely Bash), so I wrote my own fairly quickly. I wanted several functions for various levels of logging (info, debug, warning, errors, etc), and a way to adjust what levels can be displayed. I followed the fairly standard convention of using numeric values [...]
Lightweight Music
I was getting tired of the bloat and memory usage of Rhythmbox, so I was searching for a new music player/manager. After trying Muine and Decibel and not being totally satisfied, I finally (re)found MPD, the Music Player Daemon. Once I figured out how to set it up (not too hard, but more work than [...]