+ if (!using_pty) {
+ int save_defdev = default_device;
+
+ default_device = 1;
+ if (!options_for_tty())
+ exit(EXIT_OPTION_ERROR);
+ if (notty || ptycommand != NULL) {
+ option_error("%s option may not be used in per-tty options file",
+ notty? "notty": "pty");
+ exit(EXIT_OPTION_ERROR);
+ }
+ if (!default_device) {
+ option_error("per-tty options file may not specify device name");
+ exit(EXIT_OPTION_ERROR);
+ }
+ default_device = save_defdev;
+ }
+
+ if (!parse_args(argc-1, argv+1))
+ exit(EXIT_OPTION_ERROR);