title: Use grep in Mac Terminal
body: <p>I use Terminal in Mac with the following command:</p>
  
  <pre><code>   df -lak | grep File||disk02
  </code></pre>
  
  <p>what I want to use this script to get the header of df command (disk space) and the line with disk02 only. I think '|' is a char in grep as or logic. However, since I am using grep in Terminal, the char '|' also means pipe. Therefore I tried to use '||' to avoid piping, but it does not get what I want. Only the header with "File" is back.</p>
  
  <p>Not sure how I can use this script command in Terminal?</p>