diff options
Diffstat (limited to 'pkgs/applications/editors/jetbrains/plugins/update_plugins.py')
-rwxr-xr-x | pkgs/applications/editors/jetbrains/plugins/update_plugins.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/editors/jetbrains/plugins/update_plugins.py b/pkgs/applications/editors/jetbrains/plugins/update_plugins.py index dee1c9ad6b40f..4b713c7dad92d 100755 --- a/pkgs/applications/editors/jetbrains/plugins/update_plugins.py +++ b/pkgs/applications/editors/jetbrains/plugins/update_plugins.py @@ -21,7 +21,7 @@ TOKENS = { } SNAPSHOT_VALUE = 99999 PLUGINS_FILE = Path(__file__).parent.joinpath("plugins.json").resolve() -IDES_FILE = Path(__file__).parent.joinpath("../versions.json").resolve() +IDES_FILE = Path(__file__).parent.joinpath("../bin/versions.json").resolve() # The plugin compatibility system uses a different naming scheme to the ide update system. # These dicts convert between them FRIENDLY_TO_PLUGIN = { |