daily pastebin goal
56%
SHARE
TWEET

Untitled

a guest Feb 17th, 2019 58 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/sh
  2.  
  3. if file "$(readlink /proc/$$/fd/0)" | grep -q "character special"; then
  4.   echo "Standard input:"
  5. elif readlink /proc/$$/fd/0 | grep -q "^pipe:"; then
  6.   echo "Pipe input:"
  7. else
  8.   echo "File input:"
  9. fi
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top