Guest User

Untitled

a guest
Apr 16th, 2012
24
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.75 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. # help print
  4. function print_usage {
  5. echo ""
  6. echo "$0 <extension_name>"
  7. }
  8.  
  9. if [ $# != 1 ]; then
  10. print_usage
  11. exit 1
  12. fi
  13.  
  14. EXTENSION_NAME=$1
  15.  
  16. #
  17. EXTENSION_ROOT=extension/${EXTENSION_NAME}
  18. EXTENSION_DESIGN=${EXTENSION_ROOT}/design/${EXTENSION_NAME}
  19. EXTENSION_SETTINGS=${EXTENSION_ROOT}/settings
  20.  
  21. if [ -d ${EXTENSION_ROOT} ]; then
  22. echo "${EXTENSION_ROOT} already exists."
  23. exit 1
  24. fi
  25. #
  26. mkdir -p $EXTENSION_DESIGN
  27. mkdir $EXTENSION_DESIGN/images \
  28. $EXTENSION_DESIGN/javascript \
  29. $EXTENSION_DESIGN/override \
  30. $EXTENSION_DESIGN/stylesheets \
  31. $EXTENSION_DESIGN/templates
  32. mkdir $EXTENSION_SETTINGS
  33. #
  34. echo "<?php /*
  35.  
  36. [ExtensionSettings]
  37. DesignExtensions[]=${EXTENSION_NAME}
  38.  
  39. */ ?>" > $EXTENSION_SETTINGS/design.ini.append.php
Advertisement
Add Comment
Please, Sign In to add comment