-
Categories
-
Tags/Keywords
-
Recent Posts
-
Recent Comments
Tag: CLI
Extracting the MP3 stream from a Flash Video (flv) file
I wanted to convert an Flash Video (flv) file from YouTube to MP3. The first tip I found essentially streamed the original file into a different file: Read More »
My quest for the ultimate Bash prompt
On my new laptop (a Lenovo T61) I was still using the default Gentoo prompt in Bash. This was kind of a shame since my last Gentoo installation (on what is now my sister's Ubuntu machine) had a beautifully customized prompt. It was time to dig up the old escape codes. Read More »
GNU Screen window captions as XTerm tabs
XTerm is my favorite terminal emulator and I love GNU Screen. So, imagine my joy when I found out that Screen can persistently show window captions ([Ctrl+A]: caption always). Read More »
XTerm is favorite
XTerm is know to most X-Windows users as that ugly terminal with the strange scrollbar and the unreadable font. And it doesn't even have tabs! But, I think it's the best damn terminal emulator in the world. It just doesn't appear that way at first. Read More »
png2ico: converting favicons to Windows’ ICO format
Even though, strictly speaking, I should be using favicons in anything but Windows' ICO format and refer to them from a <link>-tag at any location other than /favicon.ico, I sometimes like to help Microsoft break the web by putting an ICO file at the location that they reserved for it (/favicon.ico). Read More »
Using wget to download all files on a page
Just a quick one-liner I used to download a bunch of MIDI files from an on-line listing of Chopin MIDIs: Read More »
Using diff and patch to upgrade web application installations
Update (July 30, 2008): I added information about making sure that the patch was successful. Read More »
