Doppelte DIRECTORY_SEPARATORS entfernen.

Weil ich als RegEx erfahrener schon oft danach gefragt worden bin, wie man am saubersten mehrfache Separatoren hintereinander entfernen kann, hier ein kleiner Schnippsel.

$ds = DIRECTORY_SEPARATOR;
$source = preg_replace( '~('.$ds.')\1+~', '$1', $file );

Java SUN 1.6 auf Ubuntu 12.04 für PhpStorm installieren

Bevor ich das selbst noch einige male selbst "rausfinden" muss, halte ich es hier und jetzt im Blog fest.

Download: https://docs.google.com/file/d/0B5SF2pfUfemVNHdpUnh2bjJ0ME0/edit

unzip sunJdk1.6.zip
cd sunJdk1.6
sh install.sh

und (wann immer möglich )

"/usr/lib/jvm/jdk1.6.0_38/bin/java"

in der Menüführung auswählen.

PhpStorm starten und happy sein.

Was war passiert?
Ich hatte das Problem, dass meine Windows-Fenster sich in allen Himmelsrichtungen geöffnet hatten. Bei der Autovervollständigung bekam ich dieses PopUp niemals in Sichtweite, was natürlich gar nicht geht. Das lag daran, dass open JDK installiert war (default). Unterstützt wird einzig und allein Sun JDK 1.6. OpenJDK wird nicht unterstützt und kann wie man sieht ziemlich hässliche Side-Effects haben.