17. April 2015 Terminal: Bewegen vieler Dateien mit einer CSV-Datei

05. September 2014 Terminal: Umbenennen vieler Dateien mit einer CSV-Datei

17. März 2014 Alle Prozesse eines Benutzers benden/killen

27. Februar 2014 Dateien mit tar und SSH auf Server übertragen

15. November 2011 PDF-Dateien mit Ghostscript verkleinern