lyx_mirror/lib/scripts/fig_copy.py
Georg Baum 4ae87a3bb8 Call python with the -tt switch to make mixed tab/space indentation an error
* src/support/os.[Ch]
	(python): new function, return the python command

	* lib/lyx2lyx/lyx_1_5.py
	(revert_font_settings): replace tabs with spaces

The rest is simply s/python/python -tt/ and
s/"python"/lyx::support::os::python()/ where appropriate.


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@14270 a592a061-630c-0410-9148-cb99ea01b6c8
2006-06-30 13:54:01 +00:00

76 lines
2.2 KiB
Python

#!/usr/bin/env python -tt
# -*- 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 <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.sh <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.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 <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()