diff options
| author | Mattias Andrée <maandree@operamail.com> | 2013-05-13 08:10:49 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2013-05-13 08:10:49 +0200 |
| commit | 7d02e224058e855cd159fea38acfdba522874734 (patch) | |
| tree | 7490a030a47479cefe26149146da23a383375904 | |
| parent | output fix (diff) | |
| download | splashtool-7d02e224058e855cd159fea38acfdba522874734.tar.gz splashtool-7d02e224058e855cd159fea38acfdba522874734.tar.bz2 splashtool-7d02e224058e855cd159fea38acfdba522874734.tar.xz | |
add font loading
Signed-off-by: Mattias Andrée <maandree@operamail.com>
| -rwxr-xr-x | src/parse.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/parse.py b/src/parse.py index 698bde9..a0036cf 100755 --- a/src/parse.py +++ b/src/parse.py @@ -18,6 +18,8 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. +import os + timeout = 0 title = '' @@ -155,7 +157,9 @@ for seg in more: text += '\n' * (seg[0] - line) + seg[1] + '\n' line = seg[0] + len(seg[1].split('\n')) -text = background + '\n' + font + '\n' + '\n'.join((text + '\n' * 30).split('\n')[:30]) +text = background + '\n' + '\n'.join((text + '\n' * 30).split('\n')[:30]) print(text.replace('\033', ''), end = '') +os.system('bash -c "psf2txt <(gunzip < \'%s\') /dev/stderr 2>&1 >/dev/null | grep -v ++"' % font.replace('\'', '\'\\\'\'')) + |