tests/filtertmp.py
author Benoit Boissinot <benoit.boissinot@ens-lyon.org>
Wed, 14 Apr 2010 08:48:26 +0200
branchstable
changeset 10901 997173e49115
parent 10469 b26c4a89a143
permissions -rwxr-xr-x
checklink: use an explicit prefix for the temporary file

#!/usr/bin/env python
#
# This used to be a simple sed call like:
#
#  $ sed "s:$HGTMP:*HGTMP*:"
#
# But $HGTMP has ':' under Windows which breaks the sed call.
#
import sys, os

input = sys.stdin.read()
input = input.replace(os.sep, '/')
hgtmp = os.environ['HGTMP'].replace(os.sep, '/')
input = input.replace(hgtmp, '$HGTMP')
sys.stdout.write(input)