Merge pull request #25650 from Mic92/systemd-boot

systemd-boot: sync efi filesystem after update
This commit is contained in:
Jörg Thalheim 2017-05-10 09:05:09 +01:00 committed by GitHub
commit 98ff062ed4

View File

@ -2,12 +2,15 @@
import argparse
import shutil
import os
import sys
import errno
import subprocess
import glob
import tempfile
import errno
import warnings
import ctypes
libc = ctypes.CDLL("libc.so.6")
def copy_if_not_exists(source, dest):
if not os.path.exists(dest):
@ -145,5 +148,9 @@ def main():
if os.readlink(system_dir(gen)) == args.default_config:
write_loader_conf(gen)
rc = libc.syncfs(os.open("@efiSysMountPoint@", os.O_RDONLY))
if rc != 0:
print("could not sync @efiSysMountPoint@: {}".format(os.strerror(rc)), file=sys.stderr)
if __name__ == '__main__':
main()