mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-06 00:10:59 +00:00
75 lines
2.2 KiB
Python
75 lines
2.2 KiB
Python
# -*- coding: utf-8 -*-
|
|
|
|
# file fig_copy.py
|
|
# This file is part of LyX, the document processor.
|
|
# Licence details can be found in the file COPYING.
|
|
#
|
|
# \author Angus Leeming
|
|
# \author Bo Peng
|
|
#
|
|
# Full author contact details are available in file CREDITS
|
|
|
|
# Usage:
|
|
# fig_copy.py <from file> <to file>
|
|
|
|
# This script will copy an XFIG .fig file "$1" to "$2". In the process,
|
|
# it will modify the contents of the .fig file so that the names of any
|
|
# picture files that are stored as relative paths are replaced
|
|
# with the absolute path.
|
|
|
|
import os, sys
|
|
|
|
if len(sys.argv) != 3:
|
|
print >> sys.stderr, "Usage: fig_copy.py <from file> <to file>"
|
|
sys.exit(1)
|
|
|
|
if not os.path.isfile(sys.argv[1]):
|
|
print >> sys.stderr, "Unable to read", sys.argv[1]
|
|
sys.exit(1)
|
|
|
|
from_dir = os.path.split(os.path.realpath(sys.argv[1]))[0]
|
|
to_dir = os.path.split(os.path.realpath(sys.argv[2]))[0]
|
|
|
|
# The work is trivial if "to" and "from" are in the same directory.
|
|
if from_dir == to_dir:
|
|
import shutil
|
|
try:
|
|
shutil.copy(sys.argv[1], sys.argv[2])
|
|
except:
|
|
sys.exit(1)
|
|
sys.exit(0)
|
|
|
|
# Ok, they're in different directories. The .fig file must be modified.
|
|
import re
|
|
|
|
# We're looking for a line of text that defines an entry of
|
|
# type '2' (a polyline), subtype '5' (an external picture file).
|
|
# The line has 14 other data fields.
|
|
patternline = re.compile(r'^\s*2\s+5(\s+[0-9.+-]+){14}\s*$')
|
|
emptyline = re.compile(r'^\s*$')
|
|
commentline = re.compile(r'^\s*#.*$')
|
|
# we allow space in path name
|
|
figureline = re.compile(r'^(\s*[01]\s*)(\S[\S ]*)(\s*)$')
|
|
|
|
input = open(sys.argv[1], 'r')
|
|
output = open(sys.argv[2], 'w')
|
|
|
|
# path in the fig is relative to this path
|
|
os.chdir(from_dir)
|
|
|
|
found = False
|
|
for line in input:
|
|
if found and not emptyline.match(line) and not commentline.match(line):
|
|
# The contents of the final line containing the file name
|
|
# are ' X <file name>', where X = 0 or 1.
|
|
# We extract filename and replace it with the absolute filename.
|
|
(pre, path, post) = figureline.match(line).groups()
|
|
line = pre + os.path.realpath(path) + post
|
|
found = False
|
|
elif patternline.match(line):
|
|
found = True
|
|
print >> output, line,
|
|
|
|
input.close()
|
|
output.close()
|