Install PHPStorm in /opt, not just root.

eldering · eldering · commit 0457835823a9 · 2021-11-09T20:55:55.000+01:00
diff --git a/icpc-wf/ansible/roles/phpstorm/tasks/main.yml b/icpc-wf/ansible/roles/phpstorm/tasks/main.yml
@@ -4,7 +4,7 @@
 - name: Copy in PHPStorm
   synchronize:
     src: PhpStorm-{{ PHPSTORM_FULL_VERSION }}
-    dest: "/phpstorm"
+    dest: "/opt/phpstorm"
     owner: no
     use_ssh_args: true
 
