#!/usr/bin/env python # -*- coding: iso-8859-15 -*- # 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 # 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.sh " 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.xreadlines(): if found and not emptyline.match(line) and not commentline.match(line): # The contents of the final line containing the file name # are ' X ', 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()