How to edit a file
If you want to edit a file with the program
Gedit, do as follows at the terminal
Notice, that if FILENAME.EXTENTION does not exist, it will be created,
otherwise will open that file.
How to delete a folder/file
A folder is deleted using
and a file is deleted with
Move (or Rename) Files and Directories
rename src-file to dest-file
move a file into a directory
rename src-dir, or move to dest-dir
copy & prompt before overwriting
Copy Files
copy src-file to dest-file
copy a file into a directory
copy one directory into another
copy & prompt before overwriting
Webmaster: Christian E. Salas Eljatib, E-mail: christian.salas@yale.edu