--- init.c	Sat Aug 25 13:09:16 2001
+++ init.c.hacked	Sat Aug 25 17:12:41 2001
@@ -365,7 +365,8 @@ run (const char *server, mach_port_t *po
 	  task_create (mach_task_self (), 0, task);
 	  if (bootstrap_args & RB_KDB)
 	    {
-	      printf ("Pausing for %s\n", prog);
+	      printf ("Pausing for %s...", prog);
+	      fflush (stdout);
 	      getchar ();
 	    }
 	  errno = file_exec (file, *task, 0,
@@ -393,6 +394,10 @@ run (const char *server, mach_port_t *po
   fflush (stdout);
 #endif
 
+  printf (" %s%s", basename (prog),
+	  bootstrap_args & RB_KDB ? "\n" : "");
+  fflush (stdout);
+
   /* Dead-name notification on the task port will tell us when it dies,
      so we can crash if we don't make it to a fully bootstrapped Hurd.  */
   request_dead_name (*task);
@@ -449,7 +454,8 @@ run_for_real (char *filename, char *args
     }
   if (bootstrap_args & RB_KDB)
     {
-      printf ("Pausing for %s\n", filename);
+      printf ("Pausing for %s...", filename);
+      fflush (stdout);
       getchar ();
     }
   progname = strrchr (filename, '/');
@@ -479,6 +485,11 @@ run_for_real (char *filename, char *args
       error (0, err, "Cannot execute %s", filename);
       return 0;
     }
+  
+  printf (" %s%s", basename (filename),
+	  bootstrap_args & RB_KDB ? "\n" : "");
+  fflush (stdout);
+
   return pid;
 }
 
@@ -591,11 +602,7 @@ main (int argc, char **argv, char **envp
 
   default_ports[INIT_PORT_BOOTSTRAP] = startup;
   run ("/hurd/proc", default_ports, &proctask);
-  printf (" proc");
-  fflush (stdout);
   run ("/hurd/auth", default_ports, &authtask);
-  printf (" auth");
-  fflush (stdout);
   default_ports[INIT_PORT_BOOTSTRAP] = MACH_PORT_NULL;
 
   /* Wait for messages.  When both auth and proc have started, we
@@ -669,8 +676,11 @@ launch_core_servers (void)
   printf ("Init has completed.\n");
   fflush (stdout);
 #endif
-  printf (".\n");
-  fflush (stdout);
+  if (! (bootstrap_args & RB_KDB))
+    {
+      printf (".\n");
+      fflush (stdout);
+    }
 
   /* Tell the proc server our msgport.  Be sure to do this after we are all
      done making requests of proc.  Once we have done this RPC, proc
@@ -1034,7 +1044,8 @@ start_child (const char *prog, char **pr
 
   if (bootstrap_args & RB_KDB)
     {
-      printf ("Pausing for %s\n", args);
+      printf ("Pausing for %s...", args);
+      fflush (stdout);
       getchar ();
     }
 
@@ -1054,6 +1065,9 @@ start_child (const char *prog, char **pr
       free (args);
       return -1;
     }
+
+  if (bootstrap_args & RB_KDB)
+    printf (" %s\n", basename (args));
 
   return 0;
 }