Difference between revisions of "Introduction to Linux in HPC/Files"
Introduction to Linux in HPC/Files
Jump to navigation
Jump to search
| Line 49: | Line 49: | ||
| − | + | {{Warning|mode=warn|text= ''' <code>rm -f</code>: no confirmation! Use with care. (page 53)'''</br> | |
| − | + | '''Wildcards expand before given to program. (page 56)'''}} | |
| − | {{Warning|mode=warn|text= ''' <code>rm -f</code>: no confirmation! Use with care. (page | ||
| − | '''Wildcards expand before given to program. (page | ||
=== Exercises in Terminal === <!--T:5--> | === Exercises in Terminal === <!--T:5--> | ||
Revision as of 10:14, 5 October 2020
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
Can you copy directory with
cp <old_dir> <new_dir>?
| 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
|
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.
|