···

       
89
       
89
       
 
       
        if [[ "$oldPath" == *"/bin/env" ]]; then

     

       
90
       
90
       
 
       
            if [[ $arg0 == "-S" ]]; then

     

       
91
       
91
       
 
       
                arg0=${args%% *}

     

       
92
       
92
       
-
       
                args=${args#* }

     

       
92
       
92
       
+
       
                [[ "$args" == *" "* ]] && args=${args#* } || args=

     

       
93
       
93
       
 
       
                newPath="$(PATH="${!pathName}" type -P "env" || true)"

     

       
94
       
94
       
 
       
                args="-S $(PATH="${!pathName}" type -P "$arg0" || true) $args"

     

       
95
       
95