get_devices() queries the Pushover API for a list of the devices that have been registered by the given user

is.registered_device() determines whether the given device is registered to the given user

get_devices(user = get_pushover_user(), app = get_pushover_app())

is.registered_device(
  device,
  user = get_pushover_user(),
  app = get_pushover_app()
)

Arguments

user

Pushover user key (see set_pushover_user())

app

Pushover application token (see set_pushover_app())

device

The name of a device

Value

get_devices() returns a list of device names registered by the given user

is.registered_ device() returns a logical value for each of the given devices that indicates whether or not that device is registered to the given user.

Examples

if (FALSE) {
get_devices(
  user = "uQiRzpo4DXghDmr9QzzfQu27cmVRsG",
  app = "azGDORePK8gMaC0QOYAMyEEuzJnyUi"
)
}
if (FALSE) {
is.registered_device(device = "phone")
}