Skip to content

Instantly share code, notes, and snippets.

@hiend
Created March 23, 2015 14:29
Show Gist options
  • Select an option

  • Save hiend/0571d6fe4095f2ba06d1 to your computer and use it in GitHub Desktop.

Select an option

Save hiend/0571d6fe4095f2ba06d1 to your computer and use it in GitHub Desktop.

Revisions

  1. hiend created this gist Mar 23, 2015.
    10 changes: 10 additions & 0 deletions jetbrains-phpstorm.desktop
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,10 @@
    [Desktop Entry]
    Version=1.0
    Type=Application
    Name=PhpStorm
    Icon=/opt/phpstorm/bin/webide.png
    Exec=/bin/bash -lc "/opt/phpstorm/bin/phpstorm.sh" %f
    Comment=Develop with pleasure!
    Categories=Development;IDE;
    Terminal=false
    StartupWMClass=jetbrains-phpstorm