lib/scripts/fileident
changeset 29145 b1c6f4563df7
parent 23838 d2a8f1544bc9
equal deleted inserted replaced
29144:ca186ebbd824 29145:b1c6f4563df7
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
       
     3 # $Id$
       
     4 #
     2 #
     5 # fileident --- produce file identification based
     3 # fileident --- produce file identification based
     6 
     4 
     7 FILE="$1"
     5 FILE="$1"
     8 
     6