id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	i_links	o_links
299	Export command history to a separate file	rgrieder	nobody	The history of commands typed in the Shell is currently stored in orxonox.ini. But since it can be quite long (maybe 50 - 100 lines) I suggest exporting it to a separate file like the joy stick calibration. This has yet to be discussed here.	task	closed	minor	Version 0.3 Codename: Castor	GeneralFramework	0.2.0	fixed