From 7883860602b562ebe65ee148dec61b31b0abb681 Mon Sep 17 00:00:00 2001 From: David Todd Date: Mon, 4 Mar 2019 20:38:27 -0600 Subject: [PATCH] make this the default profile --- home/terminator/config | 1 + 1 file changed, 1 insertion(+) diff --git a/home/terminator/config b/home/terminator/config index 1b34600..9228679 100644 --- a/home/terminator/config +++ b/home/terminator/config @@ -7,6 +7,7 @@ [[default]] [[[child1]]] parent = window0 + profile = default type = Terminal [[[window0]]] parent = ""