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
    dwProgressBar v2:  Stepping and Events

    dwProgressBar was a huge hit when it debuted. For those of you who didn't catch my first post, dwProgressBar is a MooTools 1.2-based progress bar which allows for as much flexibility as possible. Every piece of dwProgressBar can be controlled by CSS...

  • By
    Spoiler Prevention with CSS Filters

    No one likes a spoiler.  Whether it be an image from an upcoming film or the result of a football match you DVR'd, sometimes you just don't want to know.  As a possible provider of spoiler content, some sites may choose to warn users ahead...

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!