branch | stable |
changeset 12795 | 3cb0559e44d0 |
parent 12793 | 469850088fc1 |
parent 12794 | 6bf8d48bec8e |
child 12796 | bc69ba99e34b |
--- a/tests/filtertmp.py Wed Oct 20 23:39:48 2010 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,15 +0,0 @@ -#!/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)