diff options
| author | Michael Biebl <biebl@debian.org> | 2018-06-17 14:54:10 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2018-06-17 14:54:10 +0200 |
| commit | 069cb5c3a525ebcc19cc2927964258acaca87b13 (patch) | |
| tree | 66ac6b21a44d630c0fc281c0df327239d491226a /clients/cli/general.c | |
| parent | 04bc9e1cd3544445d883ad29ea108c1645c8e7b7 (diff) | |
New upstream version 1.11.90 upstream/1.11.90
Diffstat (limited to 'clients/cli/general.c')
| -rw-r--r-- | clients/cli/general.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clients/cli/general.c b/clients/cli/general.c index 841df8bd..de743970 100644 --- a/clients/cli/general.c +++ b/clients/cli/general.c @@ -560,6 +560,9 @@ print_permissions (void *user_data) permissions[i++] = GINT_TO_POINTER (perm); permissions[i++] = NULL; + /* Optionally start paging the output. */ + nmc_terminal_spawn_pager (&nmc->nmc_config); + if (!nmc_print (&nmc->nmc_config, permissions, _("NetworkManager permissions"), |