11909bfdfe
To upgrade the manual: wget https://docbook.org/xml/5.0.1/tools/db4-upgrade.xsl xsltproc --output index-new.docbook db4-upgrade.xsl index.docbook xsltproc --output legal-new.xml db4-upgrade.xsl legal.xml To validate the manual: wget https://docbook.org/xml/5.0.1/rng/docbookxi.rng jing docbookxi.rng index.docbook To view the manual: yelp file:///full_path/index.docbook |
||
---|---|---|
.github | ||
.tx | ||
help | ||
po | ||
src | ||
.travis.yml | ||
AUTHORS | ||
COPYING | ||
ChangeLog | ||
Makefile.am | ||
NEWS | ||
README | ||
autogen.sh | ||
configure.ac | ||
makepot | ||
mate-terminal.1 | ||
mate-terminal.appdata.xml.in | ||
mate-terminal.desktop.in.in | ||
mate-terminal.pot | ||
mate-terminal.wrapper | ||
update-authors.pl |
README
This is the MATE terminal emulator application. mate-terminal is only the shell (menubar, prefs dialog); the terminal emulation ("stuff in the middle") comes from the VTE widget. Remember this when you report a bug. ;-) MATE terminal is a fork of GNOME terminal. How it works === Profiles - all settings are stored in profiles. prefs dialog edits the current profile Session - just the number of open windows/tabs and their profile is stored per-session Command line options - do not overlap things that are preferences == Install == Example: ./autogen.sh --prefix=/usr --sysconfdir=/etc \ --disable-static --localstatedir=/var --with-gnu-ld make sudo make install