#include <collections/list.h>
#include <errors/errno.h>
#include <if/terminal_defs.h>
-#include <if/terminal_config_defs.h>
#include <term/defs.h>
#include <stdbool.h>
#include <barrelfish/barrelfish.h>
#include <barrelfish/terminal.h>
+#include <if/terminal_config_defs.h>
#include <term/client/client_blocking.h>
struct terminal_state {
*/
#include <barrelfish/barrelfish.h>
+#include <if/terminal_config_defs.h>
#include <term/client/client.h>
#include "filter_priv.h"
#include <if/octopus_defs.h>
#include <if/octopus_rpcclient_defs.h>
#include <if/terminal_defs.h>
+#include <if/terminal_config_defs.h>
#include <octopus/getset.h>
#include <octopus/trigger.h>
#include <term/client/client_blocking.h>
#include <barrelfish/barrelfish.h>
#include <barrelfish/waitset.h>
+#include <if/terminal_config_defs.h>
#include <term/client/default_triggers.h>
static void term_trigger_kill_handler(void *arg)
#include <stdint.h>
#include <barrelfish/barrelfish.h>
+#include <if/terminal_config_defs.h>
#include <collections/list.h>
#include <term/client/client.h>
#include <term/client/filter.h>
#include <stdint.h>
#include <barrelfish/barrelfish.h>
+#include <if/terminal_config_defs.h>
#include <term/client/client.h>
#include <term/client/trigger.h>