October 29, 2020 Dangerous += operator on array I saw two pull requests today that both did something like this: This will not give the expected results, see for yourself: https://3v4l.org/66S6m There…
September 13, 2020 WiFi problems with Ubuntu 20.04 For a few weeks now, I kept having problems with my WiFi. Out of the blue, suddenly every minute or so a popup kept…
June 15, 2020 Remove all directories with a given name Today I had the task to delete all folders with a given name in a directory tree. Seems easy: In the src folder, find…
June 11, 2020 Include phpstan in PhpStorm You added all your code. All the files are inspected by PhpStorm and are green. You want to commit. But first, you run phpstan,…
December 4, 2019 EditorConfig bearbeiten Ich hatte heute einen Kommentar im PR: “Der Code war vorher besser formatiert”. Nun bin ich ja ziemlich fest davon überzeugt, dass Softwareentwickler viel…
December 2, 2019 Material Design für PhpStorm Auf Tipp eines Kollegen habe ich mal dieses Plugin probiert: https://plugins.jetbrains.com/plugin/8006-material-theme-ui/. Passt das zum Thema dieses Blogs? Also: Macht das meine Arbeit effizienter? Vermutlich…
August 26, 2019 Clipboard für die Kommandozeile In der Shell kann man neben den üblichen Cursor-Kommandos (z.B. <CTRL>-<Pfeil Links> für ein Wort nach links) auch mit <CTRL>-A und <CTRL>-E an Anfang…
July 29, 2019 Editorconfig FTW In PhpStorm 2019.2 wird nun endlich die Unterstützung von .editorconfig-Dateien serienmäßig. Bisher nur als Plugin verfügbar, kann man die Einstellungen für den CodeStyle nun…
May 8, 2019 No space left on half-empty drive? Heute wollte ich auf meine Vagrant-Maschine nginx neu starten, weil er sich irgendwie komisch verhielt. Der Neustart schlug aber fehlt: Im Error-Log steht das:…
May 6, 2019 Short Tags must die Einige von Euch haben vielleicht die Aufregung über PHP8 und Short Tags schon mitbekommen (z.B. auf Der Seite mit dem Gezwitscher). Worum geht es?…
