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!
![39 Shirts – Leaving Mozilla]()
In 2001 I had just graduated from a small town high school and headed off to a small town college. I found myself in the quaint computer lab where the substandard computers featured two browsers: Internet Explorer and Mozilla. It was this lab where I fell...
![Create Spinning Rays with CSS3: Revisited]()
![HTML5’s window.postMessage API]()
One of the little known HTML5 APIs is the window.postMessage API. window.postMessage allows for sending data messages between two windows/frames across domains. Essentially window.postMessage acts as cross-domain AJAX without the server shims. Let's take a look at how window.postMessage works and how you...
![Style Textarea Resizers]()
Modern browsers are nice in that they allow you to style some odd properties. Heck, one of the most popular posts on this blog is HTML5 Placeholder Styling with CSS, a tiny but useful task. Did you know you can also restyle the textarea resizer in WebKit...
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