Introduction to Linux in HPC/Files

Video

Linux Introduction Slides 51 - 56 (6 pages)

Slide Layout

   page 1: 
       Linux: extensions do not matter
       text file or binary file?
       file <filename>
   page 2: 
       ls: mentioned in previous section
       mv: move
       cp: copy
   page 3: 
       mkdir and touch
       rm: copy      
   page 4: 
       wild cards for patterns
       *, ? and []
   page 5: 
       find syntax
       allow complex search with wildcards
       allow execution with -exec
   page 6: 
       wildcards expand before given to program
       find with wildcards as an example

Quiz

Collapse

Can you copy directory with cp <old_dir> <new_dir>?

	Yes
	No, -r option is needed for copying directory

Info:

no tips in this section

Warning:

rm -f: no confirmation! Use with care. (page 3) Wildcards expand before given to program. (page 6)

Exercises in Terminal

1. Use the find command to search for files, whose name ends with dat, in your home directory.

ExpandAnswer:

     The complete command is find $HOME -type f -name "*dat" 
         find can be used to search files and directories.
         $HOME is your home directory.
         -type f means only file (not directory) will be shown.
         -name "*dat" specifies the required filename and "*dat" restricts the filename ends with dat, while it can begin with any characters (the * wild cards).

2. Use the find command to search for directories, whose name begins with test and ends with _dir, in your home directory.

ExpandAnswer:

     The complete command is find $HOME -type d -name "test*_dir"
         find can be used to search files and directories.
         $HOME is your home directory.
         -type d means only directory (not file) will be shown.
         -name "test*_dir" specifies the required directory name, which begins with test and ends with _dir. The wild card * matches any characters in between.