Im Chrome Webstore kann ich sehen, dass x Personen meine Extension moegen. Nun habe ich mich gefragt, ob man nicht auch sehen kann, wer dort das +1 geklickt hat. Es geht tatsaechlich. Man sieht zwar nicht alle +1-Geber, aber es gibt immerhin ein paar Daten. Das ganze funktioniert mit folgendem ...

Nachdem ich heute auf ein dramatisches Problem mit einem USB-Device(ein Huawei USB-Stick) an einem Server gestossen bin, musste ich es neu initialisieren.

Aber wie zur Hoelle macht man das Remote ohne einen Roboter-Arm, der das USB-Device rauszieht und wieder reinsteckt?

Nach laengerem googlen bin ich auf einen netten Workaround ...

Linux ist mächtig - das weiß jeder der sich etwas eingearbeitet hat. Viele der kleinen Feinheiten bleiben den meisten verborgen.

So auch die mächtige .bashrc-Datei, die in eurem home-Verzeichnis liegt und bei jedem Start der Konsole geladen wird. Sie ist eine von vielen RC-Dateien, die beim Start von Programmen oder dem ...

Man soll kaum glauben wie oft man als Admin immer wieder manuell die selben Befehle aufrufen muss, weil sich Teile ändern.

Nach dem Motto "Nur ein fauler Admin ist ein guter Admin" gibts dafür von mir ein kleines Script, was nur eins tut: Einen Befehl solange ausführen bis ihr in ...

Erst neulich bin ich wieder einmal das Problem gestolpert, das eine URI mit einem Großbuchstaben am Anfang einen 404 verursachte. Das ist natürlich ärgerlich wenn User eure Seite nutzen wollen und die URL zu bestimmten Locations selbst eingeben.

Man bräuchte also eine Funktion, die URIs entsprechend zu ihren lowercase Varianten ...