bootctl: support --graceful in is-installed

diff --git a/man/bootctl.xml b/man/bootctl.xml
index 99cef4c00aa6f37bf2055546cd2036ef33cd573a..630dac7d4857c30a0a3faeb9aa43f27d000e0aa7 100644 (file)
--- a/man/bootctl.xml
+++ b/man/bootctl.xml
@@ -272,7 +272,8 @@
         <term><option>--graceful</option></term>
         <listitem><para>Ignore failure when the EFI System Partition cannot be found, when EFI variables
         cannot be written, or a different or newer boot loader is already installed. Currently only applies
-        to random seed and update operations.</para></listitem>
+        to <command>is-installed</command>, <command>update</command>, and <command>random-seed</command>
+        verbs.</para></listitem>
       </varlistentry>
 
       <varlistentry>

diff --git a/src/boot/bootctl.c b/src/boot/bootctl.c
index 058dac5381dabd0e93d57a4f6452392d53b28576..32a0c40aa56c673c88dab45c2beb5c9d5f243285 100644 (file)
--- a/src/boot/bootctl.c
+++ b/src/boot/bootctl.c
@@ -2226,7 +2226,9 @@ static int verb_remove(int argc, char *argv[], void *userdata) {
 static int verb_is_installed(int argc, char *argv[], void *userdata) {
         int r;
 
-        r = acquire_esp(/* privileged_mode= */ false, /* graceful= */ false, NULL, NULL, NULL, NULL, NULL);
+        r = acquire_esp(/* privileged_mode= */ false,
+                        /* graceful= */ arg_graceful,
+                        NULL, NULL, NULL, NULL, NULL);
         if (r < 0)
                 return r;