2 Comments // Reading Time: 2 min.
A few days ago there was a fresh version of the popular development environment PhpStorm. The IDE - now in version 9 - offers some very interesting new features. So there is nothing closer than to switch to the new version immediately. As so often in life, all good things have a downside. After my update to version 9 the following message appeared at startup.
I use the operating system Mac OSX and this is Case Insensitive by default. When developing applications, however, it is often difficult to have an operating system that does not distinguish between upper and lower case.
To solve the problem I have formatted an extra partition for development in "HFS+ case sensitive". You could also format your whole system in this way, but some applications on the Mac would unfortunately not work anymore (e.g. several well written Adobe products *cough*).
So far I had no problems with my development partition and PhpStorm. However, after the update this message suddenly came up. As a developer you are anxious not to bury your head in the sand and want to solve this problem. In many forums one can find contributions to this problem. These mostly concern older InteliJ versions and advise you to add a setting in the "idea.properties" file to override the default settings for Mac.
The problem is that this file is not as suggested in
~/Library/Preferences/WebIde09/idea.properties can be found here. Instead, Mac users can edit things in the .app file as well. Because this is more or less just a directory. So you just have to add the following line in the file "/Application/PhpStorm.app/Contents/bin/idea.properties".
# Override Mac default value idea.case.sensitive.fs=true
After saving the file and restarting PhpStorm you should not get a warning anymore. We hope you continue to enjoy using PhpStorm!
We are a digital agency, which is specialized in the development of digital products. Our core topics are websites and portals with TYPO3, eCommerce with Shopware and Android and iOS-Apps. In addition, we deal with many other topics in the field of web development. Feel free to contact us with your concerns!