Lines Matching full:interactive
586 // Realm.switch(i) switches to the realm i for consecutive interactive inputs.
2044 // Keep using the same context in the interactive shell.
2524 // Run interactive shell if explicitly requested or if no script has been
