Revision 697dba3c
| ID | 697dba3c7c3a97df0437fe352f25bc2181a2d9d7 |
| Parent | c18a848e |
| Child | 96621a83 |
Major overhaul of the shell.
A new configuration option allows to set the shell history length.
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 697dba3c7c3a97df0437fe352f25bc2181a2d9d7 |
| Parent | c18a848e |
| Child | 96621a83 |
Added by Thomas Schöpping over 3 years ago
Major overhaul of the shell.
A new configuration option allows to set the shell history length.