Skip to content
This repository was archived by the owner on Feb 26, 2026. It is now read-only.

Commit d6e890e

Browse files
committed
fix(ci): markdown linter errors
1 parent 195a055 commit d6e890e

File tree

7 files changed

+105
-275
lines changed

7 files changed

+105
-275
lines changed

.github/workflows/pages.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,3 +21,4 @@ jobs:
2121
uses: mhausenblas/mkdocs-deploy-gh-pages@master
2222
env:
2323
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
24+
REQUIREMENTS: requirements.txt

README.md

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -30,16 +30,10 @@ git clone https://github.com/absmach/propeller-docs.git
3030
source venv/bin/activate
3131
```
3232

33-
3. Install [MkDocs](https://www.mkdocs.org/#installation)
33+
3. Install [MkDocs](https://www.mkdocs.org/#installation) and dependencies:
3434

3535
```bash
36-
pip install mkdocs
37-
```
38-
39-
4. Additionally, install [Material theme](https://squidfunk.github.io/mkdocs-material/):
40-
41-
```bash
42-
pip install mkdocs-material
36+
pip install -r requirements.txt
4337
```
4438

4539
## Usage

docs/getting-started.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,8 @@ cd propeller
2525

2626
## Build and Install the Artifacts
2727

28+
To install the Magistrala CLI, follow the [instructions](https://docs.magistrala.abstractmachines.fr/getting-started/#step-2-install-the-cli).
29+
2830
This step compiles all Propeller components (manager, proplet, CLI, proxy, and example WASM modules).
2931
Run the following:
3032

docs/monitoring.md

Lines changed: 65 additions & 76 deletions
Original file line numberDiff line numberDiff line change
@@ -8,29 +8,18 @@ Both the Go and Rust implementations of proplet include monitoring capabilities
88

99
## Architecture
1010

11-
```
12-
┌──────────────────────────────────────────────────────────────┐
13-
│ Manager │
14-
│ ┌────────────────────────────────────────────────────────┐ │
15-
│ │ Aggregates metrics from all proplets │ │
16-
│ │ Stores historical data │ │
17-
│ │ Provides API for metrics queries │ │
18-
│ └────────────────────────────────────────────────────────┘ │
19-
└───────────────────────────┬──────────────────────────────────┘
20-
│ MQTT
21-
│ m/{domain}/c/{channel}/metrics/*
22-
23-
┌───────────────────┼───────────────────┐
24-
│ │ │
25-
▼ ▼ ▼
26-
┌──────────────┐ ┌──────────────┐ ┌──────────────┐
27-
│ Proplet │ │ Proplet │ │ Proplet │
28-
│ (Go) │ │ (Rust) │ │ (Go) │
29-
│ │ │ │ │ │
30-
│ Monitors: │ │ Monitors: │ │ Monitors: │
31-
│ - Task 1 │ │ - Task 3 │ │ - Task 5 │
32-
│ - Task 2 │ │ - Task 4 │ │ │
33-
└──────────────┘ └──────────────┘ └──────────────┘
11+
```mermaid
12+
graph TD
13+
Manager["<b>Manager</b><br/><br/>• Aggregates metrics from all proplets<br/>• Stores historical data<br/>• Provides API for metrics queries"]
14+
15+
Manager -->|"MQTT<br/>m/{domain}/c/{channel}/metrics/*"| Proplet1
16+
Manager -->|"MQTT<br/>m/{domain}/c/{channel}/metrics/*"| Proplet2
17+
Manager -->|"MQTT<br/>m/{domain}/c/{channel}/metrics/*"| Proplet3
18+
19+
Proplet1["<b>Proplet</b><br/>(Go)<br/><br/>Monitors:<br/>• Task 1<br/>• Task 2"]
20+
Proplet2["<b>Proplet</b><br/>(Rust)<br/><br/>Monitors:<br/>• Task 3<br/>• Task 4"]
21+
Proplet3["<b>Proplet</b><br/>(Go)<br/><br/>Monitors:<br/>• Task 5"]
22+
3423
```
3524

3625
## Features
@@ -405,13 +394,13 @@ Metrics are published to MQTT topics for real-time monitoring and integration wi
405394

406395
**Go Proplet:**
407396

408-
```
397+
```txt
409398
m/{domain_id}/c/{channel_id}/control/proplet/task_metrics
410399
```
411400

412401
**Rust Proplet:**
413402

414-
```
403+
```txt
415404
m/{domain_id}/c/{channel_id}/metrics/proplet
416405
```
417406

@@ -594,26 +583,26 @@ Memory overhead scales with history size:
594583
595584
1. Check if monitoring is enabled globally:
596585
597-
```bash
598-
echo $PROPLET_ENABLE_MONITORING
599-
```
586+
```bash
587+
echo $PROPLET_ENABLE_MONITORING
588+
```
600589

601590
2. Verify MQTT connection:
602591

603-
```bash
604-
mosquitto_sub -h localhost -t "m/+/c/+/metrics/#" -v
605-
```
592+
```bash
593+
mosquitto_sub -h localhost -t "m/+/c/+/metrics/#" -v
594+
```
606595

607596
3. Check task monitoring profile in task request:
608597

609-
```json
610-
{
611-
"monitoringProfile": {
612-
"enabled": true,
613-
"export_to_mqtt": true
614-
}
615-
}
616-
```
598+
```json
599+
{
600+
"monitoringProfile": {
601+
"enabled": true,
602+
"export_to_mqtt": true
603+
}
604+
}
605+
```
617606

618607
4. Check proplet logs for monitoring errors
619608

@@ -644,9 +633,9 @@ Some metrics have limited support on Windows. Consider:
644633

645634
1. Verify MQTT broker is running:
646635

647-
```bash
648-
docker ps | grep mosquitto
649-
```
636+
```bash
637+
docker ps | grep mosquitto
638+
```
650639

651640
2. Check proplet MQTT configuration
652641
3. Ensure `export_to_mqtt: true` in monitoring profile
@@ -733,51 +722,51 @@ CPU usage is measured as a percentage over the collection interval. For accurate
733722

734723
1. Start the Propeller infrastructure:
735724

736-
```bash
737-
docker compose up -d
738-
```
725+
```bash
726+
docker compose up -d
727+
```
739728

740729
2. Start proplet with monitoring enabled:
741730

742-
**Go Proplet:**
731+
**Go Proplet:**
743732

744-
```bash
745-
export PROPLET_ENABLE_MONITORING=true
746-
export PROPLET_METRICS_INTERVAL=10
747-
./build/proplet
748-
```
733+
```bash
734+
export PROPLET_ENABLE_MONITORING=true
735+
export PROPLET_METRICS_INTERVAL=10
736+
./build/proplet
737+
```
749738

750-
**Rust Proplet:**
739+
**Rust Proplet:**
751740

752-
```bash
753-
export PROPLET_ENABLE_MONITORING=true
754-
export PROPLET_METRICS_INTERVAL=5
755-
export PROPLET_DOMAIN_ID=domain-123
756-
export PROPLET_CHANNEL_ID=channel-456
757-
export PROPLET_CLIENT_ID=proplet-rs-001
758-
export PROPLET_CLIENT_KEY=secret
759-
cargo run --release
760-
```
741+
```bash
742+
export PROPLET_ENABLE_MONITORING=true
743+
export PROPLET_METRICS_INTERVAL=5
744+
export PROPLET_DOMAIN_ID=domain-123
745+
export PROPLET_CHANNEL_ID=channel-456
746+
export PROPLET_CLIENT_ID=proplet-rs-001
747+
export PROPLET_CLIENT_KEY=secret
748+
cargo run --release
749+
```
761750

762751
3. Subscribe to metrics:
763752

764-
```bash
765-
mosquitto_sub -h localhost -t "m/+/c/+/metrics/#" -v
766-
```
753+
```bash
754+
mosquitto_sub -h localhost -t "m/+/c/+/metrics/#" -v
755+
```
767756

768757
4. Submit a task with monitoring:
769758

770-
```json
771-
{
772-
"id": "test-task",
773-
"functionName": "compute",
774-
"imageURL": "registry.example.com/compute:v1",
775-
"monitoringProfile": {
776-
"enabled": true,
777-
"interval": 5,
778-
"export_to_mqtt": true
779-
}
780-
}
781-
```
759+
```json
760+
{
761+
"id": "test-task",
762+
"functionName": "compute",
763+
"imageURL": "registry.example.com/compute:v1",
764+
"monitoringProfile": {
765+
"enabled": true,
766+
"interval": 5,
767+
"export_to_mqtt": true
768+
}
769+
}
770+
```
782771

783772
5. Observe metrics in real-time

0 commit comments

Comments
 (0)