Results 1 to 2 of 2

Thread: convert file extension

  1. #1
    Join Date
    Apr 2006
    Posts
    429
    Thanks
    0
    Thanked 0 Times in 0 Posts

    Default convert file extension

    how to convert one file extension to another in a single command line in linux?
    i want to convert *.html to *.php recursively and retain the original file.
    Please don't mind me. I am just posting a lot of nonsense.

  2. #2
    Join Date
    Jun 2005
    Location
    英国
    Posts
    11,876
    Thanks
    1
    Thanked 180 Times in 172 Posts
    Blog Entries
    2

    Default

    Well, one way, perhaps not the most elegant:
    Code:
    find -iname '*.php' /top/directory -exec cp {} `dirname {}`/`basename {} .php`.html \;
    I'm pretty sure something better is possible in zsh with regular expressions, but it's too early for the man pages to make sense.
    Twey | I understand English | 日本語が分かります | mi jimpe fi le jbobau | mi esperanton komprenas | je comprends franšais | entiendo espa˝ol | t˘i Ýt hiểu tiếng Việt | ich verstehe ein bisschen Deutsch | beware XHTML | common coding mistakes | tutorials | various stuff | argh PHP!

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •