Synchronising phpStorm between two computers using DropBox

Avatar
Permanently deleted user
Created

I have already mastered synchronising my projects between two computers but I am struggling to sync the settings.

I found some pointers here and some discussions but the information is not complete:
http://www.jetbrains.com/phpstorm/webhelp/project-and-ide-settings.html

I am on OSX and I basically need to move the folder /Library/Preferences/WebIde60/ to dropbox and have phpStorm look for it there, but I don't know the right settings.

Following the instructions in the link above:

Locations of the Config, System, and Plugins directories can be modified in PhpStorm_home\bin\idea.properties file.

The locations don't already exist in that file so I don't know what the syntax is for adding them.

Thank you for reading and I appreciate any help you can give me

Votes

0

Share

4 comments
Avatar
Andriy Bazanov
Created

Hi there,

The locations don't already exist in that file so I don't know what the syntax is for adding them.

??


Here is part of such file (PhpStorm v7 EAP for Windows)

# Use ${idea.home} macro to specify location relative to IDE installation home
# Also use ${xxx} where xxx is any java property (including defined in previous lines of this file) to refer to its value
# Note for Windows users: please make sure you're using forward slashes. I.e. c:/idea/system

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes
#---------------------------------------------------------------------
# idea.config.path=${user.home}/.WebIde/config

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes
#---------------------------------------------------------------------
# idea.system.path=${user.home}/.WebIde/system

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes
#---------------------------------------------------------------------
# idea.plugins.path=${user.home}/.WebIde/config/plugins

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes.
#---------------------------------------------------------------------
# idea.log.path=${user.home}/.WebIde/system/log

....


P.S.
Check out this plugin: http://plugins.jetbrains.com/plugin/4560?pr=phpStorm

0
Avatar
Permanently deleted user
Created

Thanks Andriy - the plugin you mentioned was not compatible with my phpStorm (v7)

I also tried that code but it doesn't seem to work on OSX. It actually created a folder called ${user.home} (and the subdirectories for my custom location)  inside the existing config directory.

Perhaps there is a different  syntax for OSX to specify the directory.. does anyone know it?

0
Avatar
Permanently deleted user
Created

OK got it.. the syntax is:

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes
#---------------------------------------------------------------------
idea.config.path=~/dropbox/applicationdata/phpstorm/WebIde60/



I used ~/ to specify the root of the users file system

0
Avatar
Andriy Bazanov
Created
I also tried that code but it doesn't seem to work on OSX. It actually created a folder called ${user.home} (and the subdirectories for my custom location)  inside the existing config directory.

You could replace ${user.home} by actual path (e.g. /Users/John.Doe ) ...

0

Please sign in to leave a comment.