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() )
| user | Pushover user key (see |
|---|---|
| app | Pushover application token (see |
| device | The name of a device |
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.
if (FALSE) { get_devices( user = "uQiRzpo4DXghDmr9QzzfQu27cmVRsG", app = "azGDORePK8gMaC0QOYAMyEEuzJnyUi" ) } if (FALSE) { is.registered_device(device = "phone") }