pls.sh 210 B

123456789
  1. #!/usr/bin/bash
  2. plist=$1
  3. [ -z $plist ] && exit 1
  4. echo "" > t.d
  5. for p in `cat $plist`;do
  6. mps bil -gc $p >> t.d
  7. done
  8. cat t.d | sed '/^\//d' | sed '/--/d' | cut -d'#' -f1 | awk '!x[$0]++' > `basename $plist`.oz