Skip to content

Use · Interactive shell

Interactive shell

From your application directory:

./micros shell

Choose a board from the picker, or use ./micros shell -d NAME. The shell runs on your computer using its operator configuration; it does not install an OS shell on the MCU. A saved direct HTTPS profile supports basic inspection too.

01 · Inspect and follow

status
services
services 0
watch --interval 2 services
logs --follow
commands
ports
help
exit

status --details and services --details show additional counters; --json retains machine-readable data. ls aliases services. Tab completes discovered names/fields; refresh commands or ports after deployment.

Ctrl-C stops the current watch/follower and returns to the prompt. Ctrl-D or exit quits. Read-only polling can resume after outages; authentication and certificate errors stop it. reconnect reloads credentials for the same hardware identity. Logs are bounded: gap/boot markers matter, and missing old output does not establish that an event never occurred.

History persists in ~/.local/state/micros/shell_history (or $XDG_STATE_HOME); use --no-history to disable it. For scripts:

./micros shell -d NAME -c 'status --json'
./micros shell -d NAME -c 'watch --count 3 --interval 1 services'

Scripted execution stops on errors with nonzero status. There is no host-shell expansion or arbitrary program execution.

02 · Call a service

commands
help call example.counter increment
call example.counter increment

Definitions come from the exact live base and confirmed application; unknown releases or pending trials expose none. See Service commands for authoring, arguments, and completed/failed/unknown outcomes.

read and follow consume published ports; use their help for fields/duration. Streaming needs a base advertising ipc_stream: 1. Gaps are reported, and a boot or deployment change ends the capture; reopen it for the new lifetime.

restart INDEX uses the guarded single-service restart. HTTP API details belong with the server implementation.