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.
diff --git a/clients/terminal.c b/clients/terminal.c
index c3bb1b0..1c60eba 100644
--- a/clients/terminal.c
+++ b/clients/terminal.c
@@ -1228,8 +1228,11 @@
case 2: /* Window title*/
window_set_title(terminal->window, p);
break;
+ case 7: /* shell cwd as uri */
+ break;
default:
- fprintf(stderr, "Unknown OSC escape code %d\n", code);
+ fprintf(stderr, "Unknown OSC escape code %d, text %s\n",
+ code, p);
break;
}
}