Ubuntu Linux: Alte Benutzerkonten löschen

Ubuntu Linux: Alte Benutzerkonten löschen

Wer gerne neue Software testet und dazu Linux nutzt, wird mit der Zeit immer mehr Benutzerkonten finden. Verwenden Sie die zugehörigen Programme längst nicht mehr, können Sie auch diese alten Accounts löschen.

GRATIS-Tool zur Quell-Text-Verwaltung mit Git

GRATIS-Tool zur Quell-Text-Verwaltung mit Git

Viele Programmierer und Firmen nutzen zur Verwaltung ihrer Projekte die Versions-Verwaltung Git. Damit man sich die Git-Befehle in der Kommando-Zeile nicht merken muss, lässt sich Git auch per grafischer Oberfläche bedienen.

Dateien aus dem Web im Terminal herunter laden

Dateien aus dem Web im Terminal herunter laden

Sie arbeiten auf einem Server oder haben Ihren PC von einer Linux-Live-CD hochgefahren, in der Sie nur Zugriff auf den Textmodus haben? Selbst dann ist es möglich, Dateien aus dem Internet herunterzuladen, wenn das nötig ist. Zum Beispiel mit dem Textbrowser Links2.

Linux-Shell: Log-Dateien leeren

Linux-Shell: Log-Dateien leeren

Wer auf seinem Server das Loggen von Anfragen aktiviert hat, sollte ab und zu die Logdateien leeren. So verhindert man, dass die Festplatte des Servers mit der Zeit vollläuft. Sie wollen dabei das Neustarten der Dienste vermeiden?

Linux Mint: Display-Manager neu starten

Linux Mint: Display-Manager neu starten

In Linux Mint ist Cinnamon der Standard-Desktop. Manchmal kann es vorkommen, dass der Desktop samt den Programmen nicht mehr reagiert. Deswegen müssen Sie aber nicht gleich den Computer neu starten. Ein Reset des Displaymanagers genügt meist.

Chrome-Browser auf Linux Mint installieren

Chrome-Browser auf Linux Mint installieren

Standardmäßig bringt die Distribution Linux Mint den freien Webbrowser Mozilla Firefox mit. Sie haben sich an Ihrem Windows-PC so an Google Chrome gewöhnt, dass Sie lieber diesen Browser nutzen wollen? Kein Problem, er lässt sich mit wenigen Handgriffen installieren.

PHP: Upload von größeren Dateien auf Ihren Server erlauben

PHP: Upload von größeren Dateien auf Ihren Server erlauben

Wer einen eigenen Server für seine Webseite betreibt, muss dort auch Dateien hochladen. Das klappt per Browser – aber nur bis zur im Server eingestellten Maximalgröße. Nutzen Sie PHP und haben Sie Zugriff auf die Einstellungs-Datei php.ini, lässt sich dieser Wert anpassen.