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