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,,,,