[14:33] verdammt, warum gibt es keine nachfrage beim schliessen von einem tab im gnome-terminal? [14:34] war das nicht bis vor kurzem immer der fall? === dr-spider1 is now known as dr-spider === dr-spider1 is now known as dr-spider === Loetmichel_ is now known as Loetmichel