I had some big uncompressed avi files from my digital camera that I just wanted to compress in a highly portable format. The following is probably not optimal but results in a small avi file that plays basically everywhere (Linux and Windo…

I had a directory of files like "really long name with spaces 14.jpg" that I wanted to rename to files like "14.jpg".My solution was the following. ls -d *jpg | sed 's/.* \([0-9]\+\.jpg\)/mv "\0" \1/' | shSo I can decipher this later: The …

If you've ever tried to input Japanese in a Windows command prompt, you probably found that the typical method to activate the IME does not work. Here is the secret combo: Hit Alt + the 半角/全角 key (for Japanese keyboards), or Hit Alt + …

Most documentation uses these terms seemingly interchangeably, making it difficult to find good definitions. So I don't have to go on a wild Google chase again:An add-on is an installable component for Firefox (or any Mozilla project). Ext…