User Tools

Site Tools


rename

If you want to send us your comments, please do so. Thanks
More on comments


Rename files

Rename the suffix, file extension

for file in *.jigdo; do mv "$file" "$(basename "$file" .jigdo).jigdo.gz"; done

Main subjects on this wiki: Linux, Debian, HTML, Microcontrollers, Privacy

RSS
Disclaimer
Privacy statement
Bugs statement
Cookies
Copyright © : 2014 - 2022 Webevaluation.nl and the authors
Changes reserved.

This website uses cookies. By using the website, you agree with storing cookies on your computer. Also you acknowledge that you have read and understand our Privacy Policy. If you do not agree leave the website.More information about cookies
rename.txt · Last modified: 04-01-2018 22:06 by wim