Difference between revisions of "Introduction to Linux in HPC/Files"
Introduction to Linux in HPC/Files
Jump to navigation
Jump to search
(Created page with "__TOC__ === Video === <!--T:5--> <youtube width="600" height="400" right>IfD9IPixgpo</youtube> [https://git-ce.rwth-aachen.de/hpc.nrw/ap2/tutorials/linux/-/blob/master/Slid...") |
|||
| Line 51: | Line 51: | ||
{{Warning|mode=info|text= '''no tips in this section'''}} | {{Warning|mode=info|text= '''no tips in this section'''}} | ||
| − | {{Warning|mode=warn|text= ''' rm -f: no confirmation! Use with care. (page 3)''' | + | {{Warning|mode=warn|text= ''' rm -f: no confirmation! Use with care. (page 3)'''</br> |
'''Wildcards expand before given to program. (page 6)'''}} | '''Wildcards expand before given to program. (page 6)'''}} | ||
Revision as of 16:52, 1 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>?
| 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.
| 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.
|