rebar3_grisp_io

GitHub Release

Rebar plug-in for grisp.io. To obtain information about the plugin and its tasks, use the followinf command:

rebar3 help grisp-io [<task>]

📖 Table of content

Installation

To install the plugin globally, add it to your "plugins" list in ~/.config/rebar3/rebar.config

For example:

{plugins, [
rebar3_hex,
rebar3_grisp,
rebar3_grisp_io
]}.

Afterwards to update it to the latest version, you need to update the Hex index and then the plugin:

rebar3 udpdate
rebar3 plugins upgrade rebar3_grisp_io

To verify that everything works correctly you can check the version of the plugin by calling:

rebar3 grisp-io version

Tasks

Authentication

This command allows you to authenticate on grisp.io and receive an API token.

The API token is encrypted and saved locally on your computer using the provided local password.

rebar3 grisp-io auth
===> Analyzing applications...
===> Compiling rebar3_grisp_io
Username > <Username>
Password > <Password>
Authentication successful - Please provide new local password
Local password > <LocalPassword>
Confirm your local password > <LocalPassword> % Must be the same
Token successfully requested

Deauthentication

This command revokes the currently stored API token and removes the local encrypted credentials:

rebar3 grisp-io deauth

Enter the local password used when authenticating. If the stored token has already expired or been revoked, the stale local credentials are still removed.


Deploy

Important

You need an authentication token to run this command see: authenticate You need an uploaded package on grisp.io as well see: upload

This command allows you to update a grisp board using a package uploaded previously on grisp.io

This command has 2 options (mandatory options are marked with ❗

Note

📌 If no package name is specified, it will use the informations contained in your rebar.config to deduce the package name


Upload

Important

You need to authenticate first and request a token using authenticate

This command allows you to upload a package on grisp.io. Internally, this command will call rebar3 grisp pack and create a new release package. Release packages are identified by 3 elements:

This command has 2 options:


List

Important

You need to authenticate first and request a token using Authentication.

This command lists the update packages stored for your grisp.io account, including their application, version, platform, and last-modified time.

rebar3 grisp-io list

Delete

Important

You need to authenticate first and request a token using Authentication.

This command permanently deletes an update package stored in your grisp.io account. Use the package identifier shown in the NAME column of rebar3 grisp-io list:

rebar3 grisp-io delete grisp2.myapp.0.1.0.tar

When no package name is provided, the command remains backward compatible and derives the package name from the current project's release and platform configuration:

rebar3 grisp-io delete

Only one package name can be specified per invocation.


Validate

Important

You need to authenticate first and request a token using authenticate

This command allows you to validate an update that has been deployed on a device

This command has 1 mandatory option:

rebar3 grisp-io validate -d SERIAL_NUMBER

Cancel

Important

You need to authenticate first and request a token using Authentication.

This command cancels the update running on a device linked to your grisp.io account:

rebar3 grisp-io cancel -d DEVICE_IDENTIFIER

The --device (-d) option is mandatory. The platform is read from the project's GRiSP configuration.


Reboot

Important

You need to authenticate first and request a token using Authentication.

This command requests a reboot of a device linked to your grisp.io account:

rebar3 grisp-io reboot -d DEVICE_IDENTIFIER

The --device (-d) option is mandatory. The platform is read from the project's GRiSP configuration.


Version

rebar3 grisp-io version
===> Analyzing applications...
===> Compiling rebar3_grisp_io
rebar3_grisp_io: 1.0.0