Difference between revisions of "Introduction to Linux in HPC/Files"

From HPC Wiki
Introduction to Linux in HPC/Files
Jump to navigation Jump to search
Line 5: Line 5:
 
<youtube width="600" height="400" right>IfD9IPixgpo</youtube>
 
<youtube width="600" height="400" right>IfD9IPixgpo</youtube>
  
−
[https://git-ce.rwth-aachen.de/hpc.nrw/ap2/tutorials/linux/-/blob/master/Slides/Linux_Intro/Linux_Intro.pdf Linux Introduction]  Slides 51 - 56 (6 pages)
 
−
 
−
=== Slide Layout === <!--T:5-->
 
−
 
−
    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
 
  
  
Line 51: Line 26:
 
{{Warning|mode=warn|text= ''' <code>rm -f</code>: no confirmation! Use with care. (page 53)'''</br>
 
{{Warning|mode=warn|text= ''' <code>rm -f</code>: no confirmation! Use with care. (page 53)'''</br>
 
     '''Wildcards expand before given to program. (page 56)'''}}
 
     '''Wildcards expand before given to program. (page 56)'''}}
 +
  
 
=== Exercises in Terminal === <!--T:5-->   
 
=== Exercises in Terminal === <!--T:5-->   

Revision as of 09:14, 5 October 2020

Video


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.
2. Use the find command to search for directories, whose name begins with test and ends with _dir, in your home directory.