tests/filtertmp.py
author Benoit Boissinot <benoit.boissinot@ens-lyon.org>
Sun, 14 Mar 2010 00:36:10 +0100
changeset 10678 da2a0c9c895d
parent 10469 b26c4a89a143
permissions -rwxr-xr-x
mq: avoid many hex/bin conversions, keep the binary node when possible

#!/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)