Plasma GitLab Archive
Projects Blog Knowledge

#! /bin/sh

# Usage: patch @VARIABLE@ value
# Environment variable USE_CYGPATH is honoured.

varname="$1"
varvalue="$2"

if [ "${USE_CYGPATH}" = "1" ]; then
    #varvalue="$(echo "$varvalue" | sed -e 's;/;\\;g')"
    varvalue="$(cygpath -w -l "$varvalue")"
    varvalue="$(echo "$varvalue" | sed -e 's;\\;\\\\\\\\;g')"
    # e.g. c:\file is transformed to c:\\\\file
fi

sed -e 's;'"$varname"';'"$varvalue"';g'
# e.g. c:\\\\file is parsed by sed as c:\\file which is correct for the
# ocaml string

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml