env.sudo_prefix works to specify which sudo is being called, which is an uncommon but not entirely rare need for users whose default $PATH does not include it.
However, it's not documented, and probably should be.
(Was: "Allow override of which sudo binary is used".)
env.sudo_prefixworks to specify which sudo is being called, which is an uncommon but not entirely rare need for users whose default$PATHdoes not include it.However, it's not documented, and probably should be.
(Was: "Allow override of which sudo binary is used".)