Table of Contents

Linux

Installation

Befehle

Verzeichnisübersicht

http://askubuntu.com/questions/431251/how-to-print-the-directory-tree-in-terminal

Linux via “tree”-Programm (ist evtl. nicht installiert):

tree /home/felix

allgemeiner Suchbefehl (extrem fancy):

find . -type d | sed -e "s/[^-][^\/]*\// |/g" -e "s/|\([^ ]\)/|-\1/"

Desktop Enviroments

Gnome

Im “Optimierungswerkzeug/Gnome Tweaker” unter Erweiterungen die User-Themes aktivieren; dann im Home-Verzeichnis den (durch den führenden Punkt unsichtbaren) Ordner .themes anlegen, Theme von GitHub dort hineinkopieren, und im “Optimierungswerkzeug/Gnome Tweaker” unter Erscheinungsbild bei Shell-Thema entsprechend auswählen.

Graph Monitor in Taskbar