mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-25 05:55:34 +00:00
0fb13b648c
Use a list of [int, list of functions] pair, representing - int: the format number, and - list of functions: what needs to be done to the file to update it to the given format number. This matches what is done in lyx2lyx and helps keeping track of format numbers and their corresponding conversion routines. Also, add another sanity check. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@39668 a592a061-630c-0410-9148-cb99ea01b6c8
204 lines
5.2 KiB
Python
204 lines
5.2 KiB
Python
#! /usr/bin/env python
|
|
# -*- coding: utf-8 -*-
|
|
|
|
# file prefs2prefs.py
|
|
# This file is part of LyX, the document processor.
|
|
# Licence details can be found in the file COPYING.
|
|
|
|
# author Richard Heck
|
|
|
|
# Full author contact details are available in file CREDITS
|
|
|
|
# This is the main file for the user preferences conversion system.
|
|
# There are two subsidiary files:
|
|
# prefs2prefs_lfuns.py
|
|
# prefs2prefs_prefs.py
|
|
# The former is used to convert bind and ui files; the latter, to convert
|
|
# the preferences file.
|
|
#
|
|
# I've organized it this way because, in many ways, converting bind and ui
|
|
# files lfuns) and converting the preferences file are the same task. It's
|
|
# very line-by-line, unlike lyx2lyx and layout2layout, where changes can be
|
|
# more "global". So we read the file, line by line, and give a bunch of
|
|
# converter functions a chance to see if they want to modify that line.
|
|
|
|
# The converter functions are all in the subsidiary files. They take a line
|
|
# as argument and return a list: (Bool, NewLine), where the Bool says if
|
|
# we've modified anything and the NewLine is the new line, if so, which will
|
|
# be used to replace the old line.
|
|
|
|
# The format of the existing files is format 0, as of 2.0.alpha6. We'll
|
|
# introduce new format numbers as we proceed, just as with layout2layout.
|
|
# These will be different for the bind and ui files and for the preferences
|
|
# file.
|
|
|
|
import os, re, string, sys
|
|
from getopt import getopt
|
|
|
|
###########################################################
|
|
# Utility functions, borrowed from layout2layout.py
|
|
|
|
def trim_bom(line):
|
|
" Remove byte order mark."
|
|
if line[0:3] == "\357\273\277":
|
|
return line[3:]
|
|
else:
|
|
return line
|
|
|
|
|
|
def read(source):
|
|
" Read input file and strip lineendings."
|
|
lines = source.read().splitlines() or ['']
|
|
lines[0] = trim_bom(lines[0])
|
|
return lines
|
|
|
|
|
|
def write(output, lines):
|
|
" Write output file with native lineendings."
|
|
output.write(os.linesep.join(lines) + os.linesep)
|
|
|
|
|
|
# for use by find_format_lines
|
|
re_comment = re.compile(r'^#')
|
|
re_empty = re.compile(r'^\s*$')
|
|
|
|
def find_format_line(lines):
|
|
'''
|
|
Returns (bool, int), where int is number of the line the `Format'
|
|
specification is on, or else the number of the first non-blank,
|
|
non-comment line. The bool tells whether we found a format line.
|
|
'''
|
|
for i in range(len(lines)):
|
|
l = lines[i]
|
|
if re_comment.search(l) or re_empty.search(l):
|
|
continue
|
|
m = re_format.search(l)
|
|
if m:
|
|
return (True, i)
|
|
# we're done when we have hit a non-comment, non-empty line
|
|
break
|
|
return (False, i)
|
|
|
|
|
|
# for use by get_format
|
|
re_format = re.compile(r'^Format\s+(\d+)\s*$')
|
|
|
|
def get_format(lines):
|
|
" Gets format of current file and replaces the format line with a new one "
|
|
(found, format_line) = find_format_line(lines)
|
|
if not found:
|
|
return 0
|
|
line = lines[format_line]
|
|
m = re_format.search(line)
|
|
if not m:
|
|
sys.stderr.write("Couldn't match format line!\n" + line + "\n")
|
|
sys.exit(1)
|
|
return int(m.group(1))
|
|
|
|
|
|
def update_format(lines):
|
|
" Writes new format line "
|
|
(found, format_line) = find_format_line(lines)
|
|
if not found:
|
|
lines[format_line:format_line] = ("Format 1", "")
|
|
return
|
|
|
|
line = lines[format_line]
|
|
m = re_format.search(line)
|
|
if not m:
|
|
sys.stderr.write("Couldn't match format line!\n" + line + "\n")
|
|
sys.exit(1)
|
|
format = int(m.group(1))
|
|
lines[format_line] = "Format " + str(format + 1)
|
|
|
|
|
|
#
|
|
###########################################################
|
|
|
|
def usage():
|
|
print "%s [-l] [-p] infile outfile" % sys.argv[0]
|
|
print "or: %s [-l] [-p] <infile >outfile" % sys.argv[0]
|
|
print " -l: convert LFUNs (bind and ui files)"
|
|
print " -p: convert preferences"
|
|
print "Note that exactly one of -l and -p is required."
|
|
|
|
|
|
def main(argv):
|
|
try:
|
|
(options, args) = getopt(sys.argv[1:], "lp")
|
|
except:
|
|
usage()
|
|
print "\nUnrecognized option"
|
|
sys.exit(1)
|
|
|
|
opened_files = False
|
|
# Open files
|
|
if len(args) == 0:
|
|
source = sys.stdin
|
|
output = sys.stdout
|
|
elif len(args) == 2:
|
|
source = open(args[0], 'rb')
|
|
output = open(args[1], 'wb')
|
|
opened_files = True
|
|
else:
|
|
usage()
|
|
print "\nEither zero or two arguments must be given."
|
|
sys.exit(1)
|
|
|
|
conversions = False
|
|
|
|
for (opt, param) in options:
|
|
if opt == "-l":
|
|
from prefs2prefs_lfuns import conversions
|
|
elif opt == "-p":
|
|
from prefs2prefs_prefs import conversions
|
|
|
|
if not conversions:
|
|
usage()
|
|
print "\nNeither -l nor -p given."
|
|
sys.exit(1)
|
|
elif len(options) > 1:
|
|
usage()
|
|
print "\nOnly one of -l or -p should be given."
|
|
sys.exit(1)
|
|
|
|
current_format = len(conversions)
|
|
lines = read(source)
|
|
format = get_format(lines)
|
|
|
|
while format < current_format:
|
|
target_format, convert = conversions[format]
|
|
old_format = format
|
|
|
|
# make sure the conversion list is sequential
|
|
if int(old_format) + 1 != target_format:
|
|
sys.stderr.write("Something is wrong with the conversion chain.\n")
|
|
sys.exit(1)
|
|
|
|
for c in convert:
|
|
for i in range(len(lines)):
|
|
(update, newline) = c(lines[i])
|
|
if update:
|
|
lines[i] = newline
|
|
|
|
update_format(lines)
|
|
format = get_format(lines)
|
|
|
|
# sanity check
|
|
if int(old_format) + 1 != int(format):
|
|
sys.stderr.write("Failed to convert to new format!\n")
|
|
sys.exit(1)
|
|
|
|
write(output, lines)
|
|
|
|
# Close files
|
|
if opened_files:
|
|
source.close()
|
|
output.close()
|
|
|
|
return 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main(sys.argv)
|