From f00b8fe56a8cb45116b9595c212c9a54796b2007 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Wed, 5 Oct 2011 13:31:57 +0200
Subject: [PATCH] buffering/output idea

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/logs/2011-10-05 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/dev/logs/2011-10-05 b/doc/dev/logs/2011-10-05
index 92e8675f..39fc48a2 100644
--- a/doc/dev/logs/2011-10-05
+++ b/doc/dev/logs/2011-10-05
@@ -110,3 +110,7 @@ Exec
 
       stdin -> muss in tmp-datei, für sh -e?
 - 
+--------------------------------------------------------------------------------
+
+save output of shell in buffer instead of displaying?
+   -> freedom to decide whether to display or not!