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. |