| # Sed script for tests/stateful-check editing. | |
| /charsetf=/ a\ | |
| \ | |
| # For systems with severe filename restrictions allow for\ | |
| # an alternate filename.\ | |
| UNAME=${UNAME-`uname 2>/dev/null`}\ | |
| case X$UNAME in\ | |
| *-DOS) filename=`echo "$charsetf" | sed "s|ISO-|ISO/|;s|2022-|2022|;s|BIG5-HKSCS-|BIG5-HKSCS/|"` ;;\ | |
| *) filename="$charsetf" ;;\ | |
| esac | |
| s/\$charsetf"-snippet/$filename"-snippet/g |