Revision 15b482e3
ID | 15b482e3755d6ea3efbcac9a70ab4dd624d8c6f8 |
Parent | e540ab57 |
Child | ce67093a |
Support gnome terminals too
Caution: code is incomplete - can't set a default type from the CLI
and in some places the phrase xterm should be replaced by terminal.
Files
- added
- modified
- copied
- renamed
- deleted