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 …