I use Terminal in Mac with the following command:
df -lak | grep File||disk02
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.
Not sure how I can use this script command in Terminal?