Archive unused files, pending deletion

This commit is contained in:
2022-05-17 17:11:26 -07:00
parent 3217ba8549
commit d74517cdba
43 changed files with 0 additions and 8 deletions

View File

@@ -0,0 +1,66 @@
{
"outer_padding": 0,
"use_non_breaking_spaces": false,
"segments": {
"above": [{
"left": [
{
"function": "powerline.segments.common.net.hostname",
"args": {
"only_if_ssh": true
},
"priority": 10
},
{
"function": "powerline.segments.common.env.user",
"priority": 30
},
{
"function": "powerline.segments.common.env.virtualenv",
"priority": 50
},
{
"function": "powerline.segments.shell.cwd",
"priority": 10
},
{
"function": "powerline_gitstatus.gitstatus",
"priority": 40
},
{
"type": "string",
"contents": " ",
"highlight_groups": ["player"],
"draw_hard_divider": false,
"width": "auto"
}
],
"right": [
{
"function": "powerline_xonsh.exec_time",
"priority": 10
},
{
"function": "powerline.segments.common.time.date",
"after": "  ",
"args": {
"format": "%H:%M:%S",
"istime": true
},
"priority": 20
}
]
}],
"left": [
{
"type": "string",
"contents": " ",
"draw_soft_divider": false,
"draw_hard_divider": false,
"highlight_groups": ["static_prompt1", "information:additional"]
}
],
"right": [
]
}
}