PhpStorm (https://www.jetbrains.com/phpstorm)

Diese Rolle installiert PhpStorm und konfiguriert Plugins. Sie wurde auf Linux Mint 18 getestet, sollte aber auf den meisten Distributionen funktionieren. Standardmäßig wird PhpStorm 2017.2 ohne zusätzliche Plugins installiert.

PhpStorm wird standardmäßig im Home-Verzeichnis des Benutzers installiert, und become ist nicht notwendig.

Anforderungen

Keine

Rollenvariablen

phpstorm_version: 2017.2
phpstorm_download_mirror: https://download.jetbrains.com/webide/
phpstorm_plugin_download_mirror: "https://plugins.jetbrains.com/plugin/download?updateId="
phpstorm_plugins: []
phpstorm_download_directory: /tmp
phpstorm_user_dir: "~{{ (phpstorm_install_user is defined) | ternary(phpstorm_install_user, ansible_user_id) }}"
phpstorm_install_directory: "{{ phpstorm_user_dir | expanduser }}/Tools"
phpstorm_install_user: <undefiniert>

# berechnet
phpstorm_install_file: "PhpStorm-{{ phpstorm_version }}.tar.gz"
phpstorm_download_url: "{{ phpstorm_download_mirror }}{{ phpstorm_install_file }}"
phpstorm_location: "{{ phpstorm_install_directory }}/phpstorm-{{ phpstorm_version }}"
phpstorm_desktop_file_location: "{{ phpstorm_user_dir | expanduser  }}/.local/share/applications/phpstorm-{{ phpstorm_version }}.desktop"

• phpstorm_plugins ist eine Liste von Namen, die an phpstorm_plugin_download_mirror angehängt werden, um einen vollständigen Download zu bilden.
• Die Definition von phpstorm_install_user ermöglicht die Installation unter einem anderen Benutzer, jedoch ist become erforderlich.

Abhängigkeiten

Keine

Beispiel

Beispiel-Playbook

- hosts: localhost
  connection: local

roles:
  - henriklyngaard.phpstorm
  

Beispiel-Inventory für Plugins

Die folgenden IDs wurden gefunden, indem man zu https://plugins.jetbrains.com/phpstorm geht und nach dem Plugin sucht. Sobald es gefunden ist, kopiere den Link zur gewünschten Version und nutze den Teil updateId=XXXXX am Ende.

phpstorm_plugins:
  # ignoriere 1.7.6
  - 32828
  # bash support 1.6.5.171
  - 31610
  # ansible 0.9.4
  - 27616
  # docker 2.5.3
  - 33621
  # markdown 2017.1.20170302
  - 33092      
  

Alternativ kannst du die benötigten Plugins auf einen Webserver hochladen und phpstorm_plugin_download_mirror und phpstorm_plugins entsprechend anpassen.

Lizenz

MIT

Änderungsprotokoll

• 1.1: Installation unter einem anderen Benutzer erlauben
• 1.0: Ursprüngliche Version