-
Notifications
You must be signed in to change notification settings - Fork 0
/
.terminator_config
139 lines (139 loc) · 3.35 KB
/
.terminator_config
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
[global_config]
title_transmit_bg_color = "#4e9a06"
suppress_multiple_term_dialog = True
[keybindings]
[profiles]
[[default]]
background_darkness = 0.86
background_type = transparent
cursor_color = "#aaaaaa"
font = Ubuntu Mono 16
scrollback_lines = 20000
use_system_font = False
[layouts]
[[default]]
[[[window0]]]
type = Window
parent = ""
[[[child1]]]
type = Terminal
parent = window0
[[LinuxRouting]]
[[[child0]]]
type = Window
parent = ""
order = 0
position = 3840:0
maximised = True
fullscreen = False
size = 2160, 3803
title = takt@tws: ~
last_active_window = True
[[[child1]]]
type = Notebook
parent = child0
order = 0
labels = None, None
last_active_term = bc5d8f8d-b0b5-4cbe-aa96-8883b22b50c9, 7f8683fb-73b9-4111-bfd7-46219026f59c
active_page = 0
[[[child2]]]
type = VPaned
parent = child1
order = 0
position = 2512
ratio = 0.6682628358606012
[[[child3]]]
type = VPaned
parent = child2
order = 0
position = 1257
ratio = 0.501396090945353
[[[child4]]]
type = HPaned
parent = child3
order = 0
position = 1077
ratio = 0.5002322340919647
[[[terminal5]]]
type = Terminal
parent = child4
order = 0
profile = default
title = R1
uuid = bc5d8f8d-b0b5-4cbe-aa96-8883b22b50c9
command = ./LinuxRouting/enter.sh R1
[[[terminal6]]]
type = Terminal
parent = child4
order = 1
profile = default
title = R2
uuid = 4e56d170-e0aa-4290-9d51-b29d5b41486e
command = ./LinuxRouting/enter.sh R2
[[[child7]]]
type = HPaned
parent = child3
order = 1
position = 1077
ratio = 0.5002322340919647
[[[terminal8]]]
type = Terminal
parent = child7
order = 0
profile = default
title = R3
uuid = 2f787a0d-9971-4428-b64b-b62adbf3c3bb
command = ./LinuxRouting/enter.sh R3
[[[terminal9]]]
type = Terminal
parent = child7
order = 1
profile = default
title = R4
uuid = 3c801650-2ae8-4dc7-9942-e4188df3564b
command = ./LinuxRouting/enter.sh R4
[[[child10]]]
type = HPaned
parent = child2
order = 1
position = 1077
ratio = 0.5002322340919647
[[[terminal11]]]
type = Terminal
parent = child10
order = 0
profile = default
title = R5
uuid = aff19e43-a3c2-4f45-ae6f-f28752087b91
command = ./LinuxRouting/enter.sh R5
[[[terminal12]]]
type = Terminal
parent = child10
order = 1
profile = default
title = R6
uuid = a7c2cce8-0a4b-4ea2-8a1c-e4d830d94b20
command = ./LinuxRouting/enter.sh R6
[[[child13]]]
type = VPaned
parent = child1
order = 1
position = 1880
ratio = 0.5001330140994945
[[[terminal14]]]
type = Terminal
parent = child13
order = 0
profile = default
title = S
uuid = 7f8683fb-73b9-4111-bfd7-46219026f59c
command = ./LinuxRouting/enter.sh S
[[[terminal15]]]
type = Terminal
parent = child13
order = 1
profile = default
title = C
uuid = 25d10573-dbbd-44f1-b038-907b021066e7
command = ./LinuxRouting/enter.sh C
[plugins]