Introduction to Linux in HPC/Files

Video

( Slides as pdf)

Quiz

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

	Yes
	No, -r option is needed for copying directory

Warning:

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

Exercises in Terminal

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

Answer:

     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.

Answer:

     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.

<< Linux Directory Structure

Overview

Text Display and Search >>