##// END OF EJS Templates
Merge pull request #2346 from xeor/master...
Merge pull request #2346 from xeor/master Extra xterm identification in set_term_title Many times, xterm represent itself as "xterm-256color" instead of "xterm-color". This makes set_term_title not work at all. This is a simple patch to add everything that started with "xterm" to the list of TERM environments that should use the xterm way of changing the title.

File last commit:

r1261:a818e11a merge
r8361:e93fd050 merge
Show More
update_version.sh
3 lines | 84 B | application/x-sh | BashLexer
#!/bin/sh
ver=`ipython -V`
sed "s/__version__/${ver}/" manual_base.lyx > manual.lyx