Bash umbenennen ordr
# how to rename a folder:
mv oldNameOfFolder newNameOfFolder
# that's it
Dark Dotterel
# how to rename a folder:
mv oldNameOfFolder newNameOfFolder
# that's it