Devtools PHPStorm integration


On my Ubuntu 12.10 installation, the shell script under <devtools_dir>/ide/phpstorm/ kept complaining: "Error: Add environment variable PTOOLSPATH to your .profile"

On my system (and I presume most Debian-based systems), if a .bash_profile or .bash_login file exists, .profile is not read. From the .profile file:

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.

So I had to change the script as follows:

    if [ -e $HOME/.bash_profile ]; then
        . $HOME/.bash_profile
    elif [ -e $HOME/.profile ]; then
        . $HOME/.profile
    elif [ -e $HOME/.bashrc ]; then
        . $HOME/.bashrc
    elif [ -e $HOME/.zshrc]; then
        . $HOME/.zshrc

As you can see I simply inverted the two first "if"s.

Best, Steven

@svanpoeck Could you please issue a pull request for the devtools repo with your correction?