Linux command: rename
Revision as of 15:03, 25 May 2016 by Rafahsolis (talk | contribs) (Created page with "Rename *.jl.ok to *.jl rename -v 's/\.jl\.ok$/\.jl/' *.ok")
Rename *.jl.ok to *.jl
rename -v 's/\.jl\.ok$/\.jl/' *.ok
Rename *.jl.ok to *.jl
rename -v 's/\.jl\.ok$/\.jl/' *.ok