mirror of https://github.com/rairyx/raven
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
75 lines
2.0 KiB
Plaintext
75 lines
2.0 KiB
Plaintext
[global_config]
|
|
suppress_multiple_term_dialog = True
|
|
[keybindings]
|
|
[layouts]
|
|
[[default]]
|
|
[[[child1]]]
|
|
command = ""
|
|
parent = window0
|
|
type = Terminal
|
|
[[[window0]]]
|
|
parent = ""
|
|
type = Window
|
|
[[FourByFour]]
|
|
[[[child0]]]
|
|
fullscreen = False
|
|
last_active_term = e05bb5f2-7bce-41c4-a19b-26be884919df
|
|
last_active_window = True
|
|
maximised = True
|
|
order = 0
|
|
parent = ""
|
|
position = 71:55
|
|
size = 734, 451
|
|
title = PubSub Demo (Go, JS, Rust)
|
|
type = Window
|
|
[[[child1]]]
|
|
order = 0
|
|
parent = child0
|
|
position = 223
|
|
ratio = 0.5
|
|
type = VPaned
|
|
[[[child2]]]
|
|
order = 0
|
|
parent = child1
|
|
position = 365
|
|
ratio = 0.500685871056
|
|
type = HPaned
|
|
[[[child5]]]
|
|
order = 1
|
|
parent = child1
|
|
position = 365
|
|
ratio = 0.500685871056
|
|
type = HPaned
|
|
[[[terminal3]]]
|
|
profile = default
|
|
command = 'pushd .. ; ./pubsub-interop -b ../util/private_key.bin.bootstrapper.Wa; popd ; bash'
|
|
order = 0
|
|
parent = child2
|
|
type = Terminal
|
|
uuid = e05bb5f2-7bce-41c4-a19b-26be884919df
|
|
[[[terminal4]]]
|
|
profile = default
|
|
command = 'sleep 1 ; pushd .. ; ./pubsub-interop ../util/private_key.bin.peer.Sk; popd ; bash'
|
|
order = 1
|
|
parent = child2
|
|
type = Terminal
|
|
uuid = a551b167-2da7-4994-ac12-5063852055da
|
|
[[[terminal6]]]
|
|
profile = default
|
|
command = 'sleep 1 ; pushd ../js ; node index.js /ip4/127.0.0.1/tcp/5555/ipfs/QmehVYruznbyDZuHBV4vEHESpDevMoAovET6aJ9oRuEzWa; popd ; bash'
|
|
order = 0
|
|
parent = child5
|
|
type = Terminal
|
|
uuid = 8358280f-49da-4a74-bb27-7a3c7e472fe9
|
|
[[[terminal7]]]
|
|
profile = default
|
|
command = 'sleep 1 ; pushd ../rust ; cargo run; popd ; bash'
|
|
order = 1
|
|
parent = child5
|
|
type = Terminal
|
|
uuid = 2e086797-fccb-4548-8410-9267c1a4ead8
|
|
[plugins]
|
|
[profiles]
|
|
[[default]]
|
|
cursor_color = "#aaaaaa"
|