aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2013-05-13 04:58:46 +0200
committerMattias Andrée <maandree@operamail.com>2013-05-13 04:58:46 +0200
commit2f83e8ac0f82c1d89ae099c1f0afcf4d3dbc6446 (patch)
tree88f39f8a80d0a008d45cea5240c95a22331cc043 /src
parentfirst commit (diff)
downloadsplashtool-2f83e8ac0f82c1d89ae099c1f0afcf4d3dbc6446.tar.gz
splashtool-2f83e8ac0f82c1d89ae099c1f0afcf4d3dbc6446.tar.bz2
splashtool-2f83e8ac0f82c1d89ae099c1f0afcf4d3dbc6446.tar.xz
a chain link to trim down the input
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'src')
-rwxr-xr-xsrc/trim.py51
1 files changed, 51 insertions, 0 deletions
diff --git a/src/trim.py b/src/trim.py
new file mode 100755
index 0000000..082589f
--- /dev/null
+++ b/src/trim.py
@@ -0,0 +1,51 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+
+# splashtool – A simple tool for creating SYSLINUX splashes without fuss
+#
+# Copyright © 2013 Mattias Andrée (maandree@member.fsf.org)
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+
+text = False
+
+while True:
+ try:
+ line = input().replace('\t', ' ')
+ lower = line.lower()
+ if line.replace(' ', '').startswith('#') or (len(line.replace(' ', '')) == 0):
+ continue
+ else:
+ if ' # ' in line:
+ line = line[:line.find(' # ')]
+ lower = lower[:lower.find(' # ')]
+ while line.startswith(' '):
+ line = line[1:]
+ lower = lower[1:]
+ while line.endswith(' '):
+ line = line[:-1]
+ lower = lower[:-1]
+
+ if lower.startswith('text '):
+ text = True
+ print(line)
+ elif lower == 'endtext':
+ text = False
+ print(line)
+ elif text or (lower.split(' ')[0] in ('timeout', 'menu', 'label')):
+ print(line)
+ except:
+ break
+