09 Dec 2019
In terminal, renaming to change extension
mv delta.{txt,doc} # is equivalent to: mv delta.txt delta.doc
bash
file