File Extension Change Shortcut
Changing the extension of a file seems like something you would do often enough to know how to do it from command line. One annoying part of moving a file is repeating the file name a second time when all I want to do is change the extension. A minor annoyance but an annoyance nonetheless.
I recently found that you can quickly change a file's extension with this handy shortcut:
# mv filename.{old,new}
mv code.{txt,js}
The braced syntax provides a way to quickly swap out the file extension without needing to repeat the file name. Sweet!
![Animated 3D Flipping Menu with CSS]()
CSS animations aren't just for basic fades or sliding elements anymore -- CSS animations are capable of much more. I've showed you how you can create an exploding logo (applied with JavaScript, but all animation is CSS), an animated Photo Stack, a sweet...
![CSS vs. JS Animation: Which is Faster?]()
How is it possible that JavaScript-based animation has secretly always been as fast — or faster — than CSS transitions? And, how is it possible that Adobe and Google consistently release media-rich mobile sites that rival the performance of native apps?
This article serves as a point-by-point...
![Retrieve Your Gmail Emails Using PHP and IMAP]()
Grabbing emails from your Gmail account using PHP is probably easier than you think. Armed with PHP and its IMAP extension, you can retrieve emails from your Gmail account in no time! Just for fun, I'll be using the MooTools Fx.Accordion plugin...
![CSS Filters]()
CSS filter support recently landed within WebKit nightlies. CSS filters provide a method for modifying the rendering of a basic DOM element, image, or video. CSS filters allow for blurring, warping, and modifying the color intensity of elements. Let's have...
This does not only work for file extensions. You can generally use the curly braces syntax to “generate” multiple words/arguments for a bash command: http://www.gnu.org/software/bash/manual/bashref.html#Brace-Expansion