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
    Google Extension Effect with CSS or jQuery or MooTools JavaScript

    Both of the two great browser vendors, Google and Mozilla, have Extensions pages that utilize simple but classy animation effects to enhance the page. One of the extensions used by Google is a basic margin-top animation to switch between two panes: a graphic pane...

  • By
    CSS Selection Styling

    The goal of CSS is to allow styling of content and structure within a web page.  We all know that, right?  As CSS revisions arrive, we're provided more opportunity to control.  One of the little known styling option available within the browser is text selection styling.

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!