| | 1787 | }), |
| | 1788 | SubCommand({ |
| | 1789 | command: ["info"], |
| | 1790 | description: "Display status information", |
| | 1791 | action: function(arg) { |
| | 1792 | function dtdd(obj) { |
| | 1793 | let items = <></>; |
| | 1794 | for (let [n, v] in Iterator(obj)) { |
| | 1795 | let cont = (v && typeof v === "object") ? dtdd(v) : v; |
| | 1796 | items += <><dt>{n}</dt><dd>{cont}</dd></>; |
| | 1797 | } |
| | 1798 | |
| | 1799 | return <dl>{items}</dl>; |
| | 1800 | } |
| | 1801 | |
| | 1802 | let m = arg.match(/^\d+/); |
| | 1803 | if (!m) |
| | 1804 | return; |
| | 1805 | let id = parseInt(m[0], 10); |
| | 1806 | history.filter(function(st) st.id === id).map(dtdd).forEach(liberator.echo); |
| | 1807 | }, |
| | 1808 | completer: Completers.id() |