export-linux 405 B

123456789101112131415161718
  1. #!/bin/sh
  2. if [ $# -eq 1 ]; then
  3. outDir="${1}"
  4. if [ ! -e "${outDir}" ]; then
  5. mkdir "${outDir}"
  6. pax -r -w -L \
  7. -s ',.*/Xtras.*,,' \
  8. Comm Cons Dev Docu Form Fig Obx Lin Sql Std System Text Xhtml blackbox blackboxInterp run-BlackBox run-BlackBoxInterp LICENSE.txt \
  9. "${outDir}"
  10. else
  11. echo "${outDir}: already exists"
  12. exit 2
  13. fi
  14. else
  15. echo "usage: `basename $0` outputDirectory"
  16. exit 1
  17. fi