2015-11-18 14:14:57 +00:00
|
|
|
[global_config]
|
2015-11-29 19:06:17 +00:00
|
|
|
enabled_plugins = LaunchpadCodeURLHandler, SearchGoogle, APTURLHandler, LaunchpadBugURLHandler
|
2016-10-23 16:43:29 +00:00
|
|
|
inactive_color_offset = 0.79
|
2016-04-14 13:34:42 +00:00
|
|
|
suppress_multiple_term_dialog = True
|
2015-11-18 14:14:57 +00:00
|
|
|
title_hide_sizetext = True
|
|
|
|
|
window_state = maximise
|
|
|
|
|
[keybindings]
|
2015-11-21 18:45:14 +00:00
|
|
|
close_term = <Primary>w
|
2015-11-18 14:14:57 +00:00
|
|
|
insert_number = None
|
|
|
|
|
new_tab = <Primary>t
|
2015-11-21 18:45:14 +00:00
|
|
|
paste = <Primary>v
|
2015-11-18 14:14:57 +00:00
|
|
|
rotate_cw = <Primary><Shift>r
|
|
|
|
|
split_horiz = <Primary><Shift>d
|
|
|
|
|
split_vert = <Primary>d
|
|
|
|
|
switch_to_tab_1 = <Super>1
|
2015-11-21 18:45:14 +00:00
|
|
|
switch_to_tab_10 = <Super>0
|
2015-11-18 14:14:57 +00:00
|
|
|
switch_to_tab_2 = <Super>2
|
|
|
|
|
switch_to_tab_3 = <Super>3
|
|
|
|
|
switch_to_tab_4 = <Super>4
|
|
|
|
|
switch_to_tab_5 = <Super>5
|
|
|
|
|
switch_to_tab_6 = <Super>6
|
2015-11-21 18:45:14 +00:00
|
|
|
switch_to_tab_7 = <Super>7
|
|
|
|
|
switch_to_tab_8 = <Super>8
|
|
|
|
|
switch_to_tab_9 = <Super>9
|
2015-11-18 14:14:57 +00:00
|
|
|
[layouts]
|
|
|
|
|
[[default]]
|
|
|
|
|
[[[child1]]]
|
|
|
|
|
parent = window0
|
|
|
|
|
type = Terminal
|
|
|
|
|
[[[window0]]]
|
|
|
|
|
parent = ""
|
|
|
|
|
type = Window
|
2015-11-21 18:45:14 +00:00
|
|
|
[[Dive]]
|
2015-11-18 14:14:57 +00:00
|
|
|
[[[child0]]]
|
|
|
|
|
fullscreen = False
|
|
|
|
|
last_active_window = True
|
|
|
|
|
maximised = True
|
|
|
|
|
order = 0
|
|
|
|
|
parent = ""
|
|
|
|
|
position = 0:0
|
|
|
|
|
size = 1920, 1031
|
|
|
|
|
title = /bin/zsh
|
|
|
|
|
type = Window
|
|
|
|
|
[[[child1]]]
|
2015-11-21 18:45:14 +00:00
|
|
|
active_page = 0
|
|
|
|
|
labels = None, None
|
|
|
|
|
last_active_term = d64ba4f9-edb7-4ced-942e-49a69033480f, 4f4cffb2-74fa-4d07-a7b4-c5f30ece39b2
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 0
|
|
|
|
|
parent = child0
|
2015-11-21 18:45:14 +00:00
|
|
|
type = Notebook
|
2015-11-18 14:14:57 +00:00
|
|
|
[[[child2]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child1
|
2015-11-21 18:45:14 +00:00
|
|
|
position = 958
|
|
|
|
|
ratio = 0.49921875
|
|
|
|
|
type = HPaned
|
|
|
|
|
[[[child3]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child2
|
|
|
|
|
position = 502
|
2015-11-18 14:14:57 +00:00
|
|
|
ratio = 0.5
|
|
|
|
|
type = VPaned
|
2015-11-21 18:45:14 +00:00
|
|
|
[[[child6]]]
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 1
|
2015-11-21 18:45:14 +00:00
|
|
|
parent = child2
|
|
|
|
|
position = 502
|
2015-11-18 14:14:57 +00:00
|
|
|
ratio = 0.5
|
|
|
|
|
type = VPaned
|
2015-11-21 18:45:14 +00:00
|
|
|
[[[child7]]]
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 0
|
2015-11-21 18:45:14 +00:00
|
|
|
parent = child6
|
|
|
|
|
position = 251
|
|
|
|
|
ratio = 0.500996015936
|
2015-11-18 14:14:57 +00:00
|
|
|
type = VPaned
|
2015-11-21 18:45:14 +00:00
|
|
|
[[[terminal10]]]
|
|
|
|
|
command = lein repl; zsh
|
2016-04-14 13:34:42 +00:00
|
|
|
directory = /home/michael/.work-files/dive-networks/dive-web-app/
|
2015-11-21 18:45:14 +00:00
|
|
|
order = 1
|
|
|
|
|
parent = child6
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = a51152d4-6cb9-4d72-97fc-39bdf1376818
|
|
|
|
|
[[[terminal11]]]
|
2016-04-14 13:34:42 +00:00
|
|
|
command = ""
|
2016-01-18 20:50:14 +00:00
|
|
|
directory = /home/michael/.work-files/dive-networks/dive-web-app/
|
2015-11-21 18:45:14 +00:00
|
|
|
order = 1
|
|
|
|
|
parent = child1
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 4f4cffb2-74fa-4d07-a7b4-c5f30ece39b2
|
|
|
|
|
[[[terminal4]]]
|
2015-11-29 19:06:17 +00:00
|
|
|
command = ""
|
2016-01-18 20:50:14 +00:00
|
|
|
directory = /home/michael/.work-files/dive-networks/dive-web-app/
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 0
|
2015-11-21 18:45:14 +00:00
|
|
|
parent = child3
|
2015-11-18 14:14:57 +00:00
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = d64ba4f9-edb7-4ced-942e-49a69033480f
|
2015-11-21 18:45:14 +00:00
|
|
|
[[[terminal5]]]
|
|
|
|
|
command = tail -f figwheel_server.log; zsh
|
2016-01-18 20:50:14 +00:00
|
|
|
directory = /home/michael/.work-files/dive-networks/dive-web-app/
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 1
|
2015-11-21 18:45:14 +00:00
|
|
|
parent = child3
|
2015-11-18 14:14:57 +00:00
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 41f364c3-36b4-4af5-b999-2b2141b85319
|
2015-11-21 18:45:14 +00:00
|
|
|
[[[terminal8]]]
|
2016-12-12 04:53:36 +00:00
|
|
|
command = htop; zsh
|
2016-01-18 20:50:14 +00:00
|
|
|
directory = /home/michael/.work-files/dive-networks/dive-web-app/
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 0
|
2015-11-21 18:45:14 +00:00
|
|
|
parent = child7
|
2015-11-18 14:14:57 +00:00
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 5e14119d-8778-4226-a424-b9c5eca80292
|
2015-11-21 18:45:14 +00:00
|
|
|
[[[terminal9]]]
|
2016-12-12 04:53:36 +00:00
|
|
|
command = lein dev-css; zsh
|
2016-01-18 20:50:14 +00:00
|
|
|
directory = /home/michael/.work-files/dive-networks/dive-web-app/
|
2015-11-18 14:14:57 +00:00
|
|
|
order = 1
|
2015-11-21 18:45:14 +00:00
|
|
|
parent = child7
|
2015-11-18 14:14:57 +00:00
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 8eec6a48-cbfb-449c-b49e-704da6e5996d
|
2016-10-31 00:48:06 +00:00
|
|
|
[[nightdive]]
|
|
|
|
|
[[[child0]]]
|
|
|
|
|
fullscreen = False
|
|
|
|
|
last_active_window = True
|
|
|
|
|
maximised = True
|
|
|
|
|
order = 0
|
|
|
|
|
parent = ""
|
|
|
|
|
position = 0:0
|
|
|
|
|
size = 1920, 1032
|
|
|
|
|
title = /bin/zsh
|
|
|
|
|
type = Window
|
|
|
|
|
[[[child1]]]
|
|
|
|
|
active_page = 1
|
|
|
|
|
labels = None, None
|
|
|
|
|
last_active_term = d64ba4f9-edb7-4ced-942e-49a69033480f, 4f4cffb2-74fa-4d07-a7b4-c5f30ece39b2
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child0
|
|
|
|
|
type = Notebook
|
|
|
|
|
[[[child12]]]
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child6
|
|
|
|
|
position = 534
|
|
|
|
|
ratio = 0.508079847909
|
|
|
|
|
type = HPaned
|
|
|
|
|
[[[child2]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child1
|
|
|
|
|
position = 867
|
|
|
|
|
ratio = 0.451822916667
|
|
|
|
|
type = HPaned
|
|
|
|
|
[[[child3]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child2
|
|
|
|
|
position = 502
|
|
|
|
|
ratio = 0.499502982107
|
|
|
|
|
type = VPaned
|
|
|
|
|
[[[child6]]]
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child2
|
|
|
|
|
position = 502
|
|
|
|
|
ratio = 0.499502982107
|
|
|
|
|
type = VPaned
|
|
|
|
|
[[[child7]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child6
|
|
|
|
|
position = 250
|
|
|
|
|
ratio = 0.499003984064
|
|
|
|
|
type = VPaned
|
|
|
|
|
[[[child9]]]
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child7
|
|
|
|
|
position = 534
|
|
|
|
|
ratio = 0.508079847909
|
|
|
|
|
type = HPaned
|
|
|
|
|
[[[terminal10]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child9
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 8eec6a48-cbfb-449c-b49e-704da6e5996d
|
|
|
|
|
[[[terminal11]]]
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child9
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 4d558fe8-344a-47dd-8ccf-c17d1d796de4
|
|
|
|
|
[[[terminal13]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child12
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = a51152d4-6cb9-4d72-97fc-39bdf1376818
|
|
|
|
|
[[[terminal14]]]
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child12
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = c1af7bb4-a6b9-4839-bf52-ed97a91a91c5
|
|
|
|
|
[[[terminal15]]]
|
|
|
|
|
directory = /home/michael/
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child1
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 4f4cffb2-74fa-4d07-a7b4-c5f30ece39b2
|
|
|
|
|
[[[terminal4]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child3
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = d64ba4f9-edb7-4ced-942e-49a69033480f
|
|
|
|
|
[[[terminal5]]]
|
|
|
|
|
order = 1
|
|
|
|
|
parent = child3
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 41f364c3-36b4-4af5-b999-2b2141b85319
|
|
|
|
|
[[[terminal8]]]
|
|
|
|
|
order = 0
|
|
|
|
|
parent = child7
|
|
|
|
|
profile = default
|
|
|
|
|
type = Terminal
|
|
|
|
|
uuid = 5e14119d-8778-4226-a424-b9c5eca80292
|
2015-11-18 14:14:57 +00:00
|
|
|
[plugins]
|
2015-11-21 19:14:36 +00:00
|
|
|
[[GrepEditor]]
|
|
|
|
|
command = vim +{line} {filepath}
|
|
|
|
|
groups = file line
|
|
|
|
|
match = ([^ \t\n\r\f\v:]+?):([0-9]+)
|
2015-11-18 14:14:57 +00:00
|
|
|
[profiles]
|
|
|
|
|
[[default]]
|
|
|
|
|
background_color = "#060505"
|
|
|
|
|
background_darkness = 0.81
|
|
|
|
|
background_image = None
|
|
|
|
|
copy_on_selection = True
|
|
|
|
|
cursor_color = "#bbbbbb"
|
2016-06-15 04:44:59 +00:00
|
|
|
font = Consolas 10
|
2015-11-18 14:14:57 +00:00
|
|
|
foreground_color = "#d1c6ca"
|
|
|
|
|
palette = "#0a1b26:#bb0000:#7c00ff:#bbbb00:#00ff08:#00cdd7:#10bba2:#c8cac8:#545c7a:#ff5555:#ceef00:#ffe5f5:#5555ff:#ff6ddd:#2eb0ff:#f7fbff"
|
|
|
|
|
scrollback_lines = 20000
|
|
|
|
|
use_system_font = False
|
|
|
|
|
[[iterm-mike]]
|
2017-02-05 02:27:48 +00:00
|
|
|
background_color = "#484848"
|
2015-11-18 14:14:57 +00:00
|
|
|
background_darkness = 0.81
|
|
|
|
|
background_image = None
|
|
|
|
|
copy_on_selection = True
|
|
|
|
|
cursor_color = "#bbbbbb"
|
|
|
|
|
cursor_shape = underline
|
2016-06-15 04:44:59 +00:00
|
|
|
font = Consolas 10
|
2015-11-18 14:14:57 +00:00
|
|
|
foreground_color = "#d1c6ca"
|
|
|
|
|
palette = "#141414:#bb0000:#7c00ff:#bbbb00:#00ff08:#00cdd7:#10bba2:#cacaca:#555555:#ff5555:#ceef00:#ffe5f5:#5555ff:#ff6ddd:#2eb0ff:#f7fbff"
|
|
|
|
|
scrollback_lines = 20000
|
|
|
|
|
use_system_font = False
|
|
|
|
|
[[original]]
|
|
|
|
|
background_darkness = 0.81
|
|
|
|
|
background_image = None
|
|
|
|
|
background_type = transparent
|
|
|
|
|
copy_on_selection = True
|
|
|
|
|
cursor_color = "#cdcfbd"
|
|
|
|
|
cursor_shape = underline
|
|
|
|
|
font = DejaVu Sans Mono 12
|
|
|
|
|
palette = "#073642:#dc322f:#859900:#b58900:#268bd2:#d33682:#2aa198:#eee8d5:#002b36:#cb4b16:#586e75:#657b83:#839496:#6c71c4:#93a1a1:#fdf6e3"
|
|
|
|
|
scrollback_lines = 20000
|
|
|
|
|
use_system_font = False
|
