Dezember 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…
Dezember 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…
Juli 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…
Mai 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:…
Mai 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?…
Mai 2, 2019 Scoping the code Natürlich benutzt man in einer idealen Welt im gesamten Code identischen CodeStyle. In der Realität kann es Situationen geben (z.B.: Migration von Legacy-Code in…
Februar 9, 2019 Daten aus verschlüsseltem Festplattendump auslesen Backup Bevor man seinen Rechner neu aufsetzt, ist es immer sinnvoll, den aktuellen Stand zu sichern. Dafür gibt es keine Ausrede, denn Speicherplatz in…
Dezember 20, 2018 Kill Postman Wer an REST-APIs entwickelt, kann diese im einfachsten Fall mit dem Browser debuggen. Aber sobald man über GET hinaus geht, wird es komplizierter, einen…
Dezember 14, 2018 SSH-Connection hängt Wer mit dem Notebook öfter zwischen LAN und WLAN wechselt und auch mal im Aufzug steht, der kennt vielleicht das Problem: SSH-Verbindungen zu Servern…
