Difference between revisions of "Introduction to Linux in HPC/Files"
Introduction to Linux in HPC/Files
Jump to navigation
Jump to search
| Line 36: | Line 36: | ||
{{hidden begin | {{hidden begin | ||
| − | |title = Can you copy directory with cp <old_dir> <new_dir>? | + | |title = Can you copy directory with <code>cp <old_dir> <new_dir></code>? |
}} | }} | ||
<quiz display=simple> | <quiz display=simple> | ||
| Line 43: | Line 43: | ||
- Yes | - Yes | ||
|| | || | ||
| − | + No, -r option is needed for copying directory | + | + No, <code>-r</code> option is needed for copying directory |
| − | || Explanation: Without any option the cp command can only be used to copy files (text files as well as binary files). To copy a directory, the -r option must be used and it means to copy a given directory in a recursive manner, e.g. one file after another in a directory. | + | || Explanation: Without any option the <code>cp</code> command can only be used to copy files (text files as well as binary files). To copy a directory, the <code>-r</code> option must be used and it means to copy a given directory in a recursive manner, e.g. one file after another in a directory. |
</quiz> | </quiz> | ||
{{hidden end}} | {{hidden end}} | ||
| 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)'''</br> | + | {{Warning|mode=warn|text= ''' <code>rm -f</code>: no confirmation! Use with care. (page 3)'''</br> |
'''Wildcards expand before given to program. (page 6)'''}} | '''Wildcards expand before given to program. (page 6)'''}} | ||
| − | |||
=== Exercises in Terminal === <!--T:5--> | === Exercises in Terminal === <!--T:5--> | ||
Revision as of 10:47, 2 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.
|