+/* Implement 'show suppress-cli-notifications'. */
+
+static void
+show_suppress_cli_notifications (ui_file *file, int from_tty,
+ cmd_list_element *c, const char *value)
+{
+ fprintf_filtered (file, _("Suppression of printing CLI notifications "
+ "is %s.\n"), value);
+}
+
+/* Implement 'set suppress-cli-notifications'. */
+
+static void
+set_suppress_cli_notifications (const char *args, int from_tty,
+ cmd_list_element *c)
+{
+ cli_suppress_notification.user_selected_context
+ = user_wants_cli_suppress_notification;
+ cli_suppress_notification.normal_stop
+ = user_wants_cli_suppress_notification;
+}
+