Nm_deviceSourceNetworkManager devices
type state = [ | `UnknownThe device is in an unknown state.
*)| `UnmanagedThe device is not managed by NetworkManager.
*)| `DisconnectedThe device is not connected.
*)| `PrepareThe device is preparing to connect.
*)| `ConfigThe device is being configured.
*)| `Need_authThe device is awaiting secrets necessary to continue connection.
*)| `Ip_configThe IP settings of the device are being requested and configured.
*)| `ActivatedThe device is active.
*)| `FailedThe device is in a failure state following an attempt to activate it.
*) ]type state_reason = [ | `UnknownThe reason for the device state change is unknown.
*)| `NoneThe state change is normal.
*)| `Now_managedThe device is now managed.
*)| `Now_unmanagedThe device is no longer managed.
*)| `Config_failedThe device could not be readied for configuration.
*)| `Config_expiredThe IP configuration is no longer valid.
*)| `No_secretsSecrets were required, but not provided.
*)| `Supplicant_disconnectThe 802.1X supplicant disconnected from the access point or authentication server.
*)| `Supplicant_config_failedConfiguration of the 802.1X supplicant failed.
*)| `Supplicant_failedThe 802.1X supplicant quit or failed unexpectedly.
*)| `Supplicant_timeoutThe 802.1X supplicant took too long to authenticate.
*)| `Ppp_start_failedThe PPP service failed to start within the allowed time.
*)| `Ppp_disconnectThe PPP service disconnected unexpectedly.
*)| `Ppp_failedThe PPP service quit or failed unexpectedly.
*)| `Dhcp_start_failedThe DHCP service failed to start within the allowed time.
*)| `Dhcp_errorThe DHCP service reported an unexpected error.
*)| `Dhcp_failedThe DHCP service quit or failed unexpectedly.
*)| `Autoip_start_failedThe AutoIP service failed to start.
*)| `Autoip_errorThe AutoIP service reported an unexpected error.
*)| `Autoip_failedThe AutoIP service quit or failed unexpectedly.
*)| `Modem_busyDialing failed because the line was busy.
*)| `Modem_no_dial_toneDialing failed because there was no dial tone.
*)| `Modem_no_carrierDialing failed because there was carrier.
*)| `Modem_dial_timeoutDialing timed out.
*)| `Modem_dial_failedDialing failed.
*)| `Modem_init_failedModem initialization failed.
*)| `Gsm_apn_failedFailed to select the specified GSM APN.
*)| `Gsm_registration_not_searchingNot searching for networks.
*)| `Gsm_registration_deniedNetwork registration was denied.
*)| `Gsm_registration_timeoutNetwork registration timed out.
*)| `Gsm_registration_failedFailed to register with the requested GSM network.
*)| `Gsm_pin_check_failedPIN check failed.
*)| `Firmware_missingNecessary firmware for the device may be missing.
*)| `RemovedThe device was removed.
*)| `SleepingNetworkManager went to sleep.
*)| `Connection_removedThe device's active connection was removed or disappeared.
*)| `User_requestedA user or client requested the disconnection.
*)| `CarrierThe device's carrier/link changed.
*)| `Connection_assumedThe device's existing connection was assumed.
*)| `Supplicant_availableThe 802.1x supplicant is now available.
*) ]type typ = [ | `UnknownThe device type is unknown.
*)| `EthernetThe device is wired Ethernet device.
*)| `WifiThe device is an 802.11 WiFi device.
*)| `GsmThe device is a GSM-based cellular WAN device.
*)| `CdmaThe device is a CDMA/IS-95-based cellular WAN device.
*) ]type capability = [ | `Nm_supportedThe device is supported by NetworkManager.
*)| `Carrier_detectThe device supports carrier detection.
*) ]