user_shell -> run_shell to avoid confusion with the user's SHELL variable.

doc/sudo_plugin.pod

@@ -192,7 +192,7 @@ C<HOME> environment variable to the target user's home directory.
 Set to true if the user specified the C<-E> flag, indicating that
 the user wishes to preserve the environment.
 
-=item user_shell=bool
+=item run_shell=bool
 
 Set to true if the user specified the C<-s> flag, indicating that
 the user wishes to run a shell.

plugins/sudoers/sudoers.c

@@ -1166,8 +1166,8 @@ deserialize_info(char * const settings[], char * const user_info[])
 		SET(flags, MODE_PRESERVE_ENV);
 	    continue;
 	}
-	if (MATCHES(*cur, "user_shell=")) {
-	    if (atobool(*cur + sizeof("user_shell=") - 1) == TRUE)
+	if (MATCHES(*cur, "run_shell=")) {
+	    if (atobool(*cur + sizeof("run_shell=") - 1) == TRUE)
 		SET(flags, MODE_SHELL);
 	    continue;
 	}

src/parse_args.c

@@ -81,7 +81,7 @@ static struct sudo_settings {
 #define ARG_SET_HOME 5
     { "set_home" },
 #define ARG_USER_SHELL 6
-    { "user_shell" },
+    { "run_shell" },
 #define ARG_LOGIN_SHELL 7
     { "login_shell" },
 #define ARG_IGNORE_TICKET 8