Hello Ahoffmann,
Thanks, it works.
But could you explain the solution a little bit, please?
what is "||"?
a double pipe? what does it mean?
what means "42" after exit?
I did "man exit", but instead of explanation about exit, there is a very short explanation about shell commands.
How to find the explanation of the arguments of exit?
Many thanks,
DAvid
Main Topics
Browse All Topics





by: ahoffmannPosted on 2007-08-19 at 01:47:09ID: 19725122
cat example.txt || exit 42