···

       
33
       
 
       
buildHost=

     

       
34
       
 
       
targetHost=

     

       
35
       
 
       
remoteSudo=

     

       
0
       
 
       

     

       
36
       
 
       
noSSHTTY=

     

       
37
       
 
       
verboseScript=

     

       
38
       
 
       
noFlake=

     
···

       
173
       
 
       
      --use-remote-sudo)

     

       
174
       
 
       
        remoteSudo=1

     

       
175
       
 
       
        ;;

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
176
       
 
       
      --no-ssh-tty)

     

       
177
       
 
       
        noSSHTTY=1

     

       
178
       
 
       
        ;;

     
···

       
256
       
 
       
        t="-t"

     

       
257
       
 
       
    fi

     

       
258
       
 
       


     

       
259
       
-
       
    if [ -n "$remoteSudo" ]; then

     

       
260
       
 
       
        useSudo=1 SSHOPTS="$SSHOPTS $t" targetHostCmd "$@"

     

       
261
       
 
       
    else

     

       
262
       
 
       
        # While a tty might not be necessary, we apply it to be consistent with

     

···

       
33
       
 
       
buildHost=

     

       
34
       
 
       
targetHost=

     

       
35
       
 
       
remoteSudo=

     

       
36
       
+
       
localSudo=

     

       
37
       
 
       
noSSHTTY=

     

       
38
       
 
       
verboseScript=

     

       
39
       
 
       
noFlake=

     
···

       
174
       
 
       
      --use-remote-sudo)

     

       
175
       
 
       
        remoteSudo=1

     

       
176
       
 
       
        ;;

     

       
177
       
+
       
      --use-local-sudo)

     

       
178
       
+
       
        localSudo=1

     

       
179
       
+
       
        ;;

     

       
180
       
 
       
      --no-ssh-tty)

     

       
181
       
 
       
        noSSHTTY=1

     

       
182
       
 
       
        ;;

     
···

       
260
       
 
       
        t="-t"

     

       
261
       
 
       
    fi

     

       
262
       
 
       


     

       
263
       
+
       
    if [[ -n "$remoteSudo" || -n "$localSudo" ]]; then

     

       
264
       
 
       
        useSudo=1 SSHOPTS="$SSHOPTS $t" targetHostCmd "$@"

     

       
265
       
 
       
    else

     

       
266
       
 
       
        # While a tty might not be necessary, we apply it to be consistent with