Skip to content

Instantly share code, notes, and snippets.

@aamant
Last active November 4, 2019 07:40
Show Gist options
  • Select an option

  • Save aamant/0a3f4ca83b62d2dfcececf88404d2d8d to your computer and use it in GitHub Desktop.

Select an option

Save aamant/0a3f4ca83b62d2dfcececf88404d2d8d to your computer and use it in GitHub Desktop.

Revisions

  1. aamant revised this gist Nov 4, 2019. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -1 +1 @@
    echo idea.case.sensitive.fs=true >> /Applications/PhpStorm.app/Contents/bin/idea.properties
    echo idea.case.sensitive.fs=true >> ~/Library/Preferences/PhpStorm2019.2/idea.properties
  2. aamant renamed this gist Jul 14, 2016. 1 changed file with 0 additions and 0 deletions.
    File renamed without changes.
  3. aamant created this gist Jul 14, 2016.
    1 change: 1 addition & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1 @@
    echo idea.case.sensitive.fs=true >> /Applications/PhpStorm.app/Contents/bin/idea.properties