Для пользовательских типов свойств нужно указывать еще и USER_TYPE.
PROPERTY_TYPE => 'E'
USER_TYPE => 'EList'
PROPERTY_TYPE => 'S'
| #!/bin/bash | |
| # | |
| # Based on https://gist.github.com/olivertappin/e5920e131db9a451c91aa6e2bc24dc40 | |
| # | |
| INSTALL_DIR=/opt/phpstorm | |
| if [ "$(whoami)" != "root" ] | |
| then |
| 301 moved permanently (redirect): | |
| <?php | |
| header('HTTP/1.1 301 Moved Permanently'); | |
| header('Location: http://www.example.com'); | |
| die(); | |
| ?> | |
| 302 moved temporarily(redirect): | |
| <?php | |
| header('Location: http://www.example.com'); |
| #!/bin/bash -e | |
| # -e means exit if any command fails | |
| DBHOST=address.to.your.server | |
| DBUSER=username | |
| DBPASS=password # do this in a more secure fashion | |
| DBNAME=DBNAME | |
| GITREPO=/where/is/your/repo | |
| DUMP=$GITREPO/where/you/store/dumps | |
| NEW=$DUMP/schema.sql | |
| OLD=$NEW.old |