diff options
| -rwxr-xr-x | kernel.nu | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -48,7 +48,8 @@ let OLD_EFI = (ls -l /efi/EFI/Linux/ | get name | first) if ($DEVICE_ID == "110") { - mv -f $OLD_EFI /efi/EFI/Linux/Linux.efi + rm /efi/EFI/Linux/Linux.efi + mv $OLD_EFI /efi/EFI/Linux/Linux.efi } else { |
