File Extension Change Shortcut

By  on  

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!

Recent Features

Incredible Demos

  • By
    CSS Scoped Styles

    There are plenty of awesome new attributes we've gotten during the HTML5 revolution:  placeholder, download, hidden, and more.  Each of these attributes provides us a different level of control over an element on the page, but there's a new element attribute that allows...

  • By
    Telephone Link Protocol

    We've always been able to create links with protocols other than the usual HTTP, like mailto, skype, irc ,and more;  they're an excellent convenience to visitors.  With mobile phone browsers having become infinitely more usable, we can now extend that convenience to phone numbers: The tel...

Discussion

  1. 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

Wrap your code in <pre class="{language}"></pre> tags, link to a GitHub gist, JSFiddle fiddle, or CodePen pen to embed!