terminal: Stop complaining about OSC escape code 7

This is the current working directory of the shell as an URI.  We
don't use that for anythign at the moment, but let's not complain
about it at least.
This commit is contained in:
Kristian Høgsberg
2013-09-11 11:52:56 -07:00
parent a94dc8a51b
commit 8a20500847
+4 -1
View File
@@ -1228,8 +1228,11 @@ handle_osc(struct terminal *terminal)
case 2: /* Window title*/ case 2: /* Window title*/
window_set_title(terminal->window, p); window_set_title(terminal->window, p);
break; break;
case 7: /* shell cwd as uri */
break;
default: default:
fprintf(stderr, "Unknown OSC escape code %d\n", code); fprintf(stderr, "Unknown OSC escape code %d, text %s\n",
code, p);
break; break;
} }
} }