Linux command: rename

From RHS Wiki
Jump to navigation Jump to search

Rename *.jl.ok to *.jl

rename -v 's/\.jl\.ok$/\.jl/' *.ok