This commit is contained in:
Mark Gregory
2026-10-21 14:50:05 +01:00
parent 90987bd898
commit 9e501ca176
44 changed files with 461 additions and 222 deletions
@@ -15,7 +15,7 @@
"key": "ALL SERVERS: %lld OK · %lld WARN · %lld FAIL",
"location": {
"startingColumn": 18,
"startingLine": 76
"startingLine": 97
}
},
{
@@ -42,12 +42,36 @@
"startingLine": 38
}
},
{
"comment": "",
"key": "SERVICES",
"location": {
"startingColumn": 38,
"startingLine": 59
}
},
{
"comment": "",
"key": "HEALTH GROUPS",
"location": {
"startingColumn": 38,
"startingLine": 75
}
},
{
"comment": "",
"key": "REQUIRED",
"location": {
"startingColumn": 50,
"startingLine": 68
}
},
{
"comment": "",
"key": "Refresh All",
"location": {
"startingColumn": 24,
"startingLine": 84
"startingLine": 105
}
},
{
@@ -55,7 +79,7 @@
"key": "Diagnostics",
"location": {
"startingColumn": 24,
"startingLine": 86
"startingLine": 107
}
},
{
@@ -63,7 +87,7 @@
"key": "Settings",
"location": {
"startingColumn": 24,
"startingLine": 87
"startingLine": 108
}
},
{
@@ -71,7 +95,7 @@
"key": "Quit",
"location": {
"startingColumn": 24,
"startingLine": 88
"startingLine": 109
}
},
{
@@ -79,7 +103,7 @@
"key": "%@ — Diagnostics",
"location": {
"startingColumn": 18,
"startingLine": 98
"startingLine": 119
}
},
{
@@ -87,7 +111,7 @@
"key": "Select a server in the menu bar to change this report.",
"location": {
"startingColumn": 18,
"startingLine": 99
"startingLine": 120
}
}
]
@@ -7,7 +7,7 @@
"key": "Servers",
"location": {
"startingColumn": 22,
"startingLine": 14
"startingLine": 16
}
},
{
@@ -15,7 +15,7 @@
"key": "Use the Pegasus adapter for Pegasus, or install server/remote-health-json on other Linux servers. SSH must work without interactive prompts. SSH known_hosts is enforced.",
"location": {
"startingColumn": 22,
"startingLine": 48
"startingLine": 52
}
},
{
@@ -23,7 +23,7 @@
"key": "Add a server",
"location": {
"startingColumn": 41,
"startingLine": 37
"startingLine": 39
}
},
{
@@ -31,7 +31,7 @@
"key": "Connection details",
"location": {
"startingColumn": 58,
"startingLine": 37
"startingLine": 39
}
},
{
@@ -39,7 +39,7 @@
"key": "Display name",
"location": {
"startingColumn": 31,
"startingLine": 40
"startingLine": 42
}
},
{
@@ -47,7 +47,7 @@
"key": "Host / SSH alias",
"location": {
"startingColumn": 31,
"startingLine": 41
"startingLine": 43
}
},
{
@@ -55,7 +55,7 @@
"key": "SSH username",
"location": {
"startingColumn": 31,
"startingLine": 42
"startingLine": 44
}
},
{
@@ -63,7 +63,7 @@
"key": "SSH port",
"location": {
"startingColumn": 31,
"startingLine": 43
"startingLine": 45
}
},
{
@@ -71,7 +71,7 @@
"key": "SSH key path (optional)",
"location": {
"startingColumn": 31,
"startingLine": 44
"startingLine": 46
}
},
{
@@ -79,7 +79,7 @@
"key": "Remote health command",
"location": {
"startingColumn": 31,
"startingLine": 45
"startingLine": 47
}
},
{
@@ -87,7 +87,15 @@
"key": "Monitoring enabled",
"location": {
"startingColumn": 28,
"startingLine": 46
"startingLine": 48
}
},
{
"comment": "",
"key": "Automatically discover services",
"location": {
"startingColumn": 28,
"startingLine": 49
}
},
{
@@ -95,7 +103,7 @@
"key": "New Server",
"location": {
"startingColumn": 28,
"startingLine": 52
"startingLine": 56
}
},
{
@@ -103,7 +111,7 @@
"key": "Save and Refresh",
"location": {
"startingColumn": 28,
"startingLine": 54
"startingLine": 58
}
},
{
@@ -111,7 +119,7 @@
"key": "Refresh every",
"location": {
"startingColumn": 28,
"startingLine": 59
"startingLine": 63
}
},
{
@@ -119,7 +127,7 @@
"key": "Notifications",
"location": {
"startingColumn": 28,
"startingLine": 64
"startingLine": 68
}
},
{
@@ -127,7 +135,87 @@
"key": "%lld min",
"location": {
"startingColumn": 34,
"startingLine": 61
"startingLine": 65
}
},
{
"comment": "",
"key": "Mark critical services as Required. Missing or non-running required services count as failures. Optional services not installed do not affect health.",
"location": {
"startingColumn": 18,
"startingLine": 98
}
},
{
"comment": "",
"key": "No service discovery data yet. Refresh the server or add a required service below.",
"location": {
"startingColumn": 22,
"startingLine": 105
}
},
{
"comment": "",
"key": "Required: %@",
"location": {
"startingColumn": 22,
"startingLine": 132
}
},
{
"comment": "",
"key": "Show not installed services",
"location": {
"startingColumn": 20,
"startingLine": 100
}
},
{
"comment": "",
"key": "Service monitoring",
"location": {
"startingColumn": 22,
"startingLine": 92
}
},
{
"comment": "",
"key": "Refresh services",
"location": {
"startingColumn": 24,
"startingLine": 94
}
},
{
"comment": "",
"key": "Required",
"location": {
"startingColumn": 40,
"startingLine": 115
}
},
{
"comment": "",
"key": "Require %@ to be running",
"location": {
"startingColumn": 56,
"startingLine": 118
}
},
{
"comment": "",
"key": "Add required service (e.g. mysql)",
"location": {
"startingColumn": 27,
"startingLine": 126
}
},
{
"comment": "",
"key": "Add Required",
"location": {
"startingColumn": 24,
"startingLine": 128
}
}
]