Listen

Ein Python-Code-Schnipsel

def parse_date( input_string )
    parts = input_string.split( '-' );
    return [int( part ) for part in parts]

Mehr Pythoncode

def modify_path_env_var(dkroot, path):
    parts = []
    for part in path.split(";"):
        if dkroot in part.lower():
            part = part.lower().replace(dkroot, "$Env:DKROOT")
        if part not in parts:
            parts.append(part)
    return ";".join(parts)


modify_path_env_var( dkroot, path ) :=
{
    parts = []
    (path / ";"){}.lower() do   // Möglicherweise wäre @ eine schöne schreibweise: (path/";")@lower()
    {
        dkroot & value
        then value .: replace( dkroot, $(DKROOT) );
        value &! parts
        then parts << value;
    }
    return parts * ";";
}