buffering/output idea

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
remotes/origin/feature_files_export
Nico Schottelius 14 years ago
parent 8a044919eb
commit f00b8fe56a
  1. 4
      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!

Loading…
Cancel
Save