12345678910111213141516171819202122 |
- #!/usr/bin/env bash
- # The problem is that we do not want to remove the configuration file, just disable it for a few tasks, then enable it
- #
- # For reference, see
- #
- # - https://docs.travis-ci.com/user/languages/php#Disabling-preinstalled-PHP-extensions
- # - https://docs.travis-ci.com/user/languages/php#Custom-PHP-configuration
- config="/home/travis/.phpenv/versions/$(phpenv version-name)/etc/conf.d/xdebug.ini"
- function xdebug-disable() {
- if [[ -f $config ]]; then
- mv $config "$config.bak"
- fi
- }
- function xdebug-enable() {
- if [[ -f "$config.bak" ]]; then
- mv "$config.bak" $config
- fi
- }
|