Andrew Mulbrook
4cfeea363b
Different terminals need different hotkeys, but I want the kitty configuration to be shared. Add a blanket json file to allow creating more advanced configurations per site while keeping the rest of the config common.
10 lines
179 B
Text
10 lines
179 B
Text
{ "sessions":
|
|
[
|
|
{ "title": "System Shell",
|
|
"cmd": "/bin/bash --login"
|
|
},
|
|
{ "title": "C Shell",
|
|
"cmd": "/bin/csh"
|
|
}
|
|
]
|
|
}
|