From 787aedb90723233c2c67ab31a24bd4494a046c61 Mon Sep 17 00:00:00 2001 From: chainsx Date: Sat, 11 Mar 2023 13:44:59 +0800 Subject: [PATCH] Update grub-riscv64.sh --- extensions/grub-riscv64.sh | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/extensions/grub-riscv64.sh b/extensions/grub-riscv64.sh index 3df413a..f09609d 100644 --- a/extensions/grub-riscv64.sh +++ b/extensions/grub-riscv64.sh @@ -1,16 +1,5 @@ #!/usr/bin/env bash # This runs *after* user_config. Don't change anything not coming from other variables or meant to be configured by the user. -# run_host_command_logged is the very basic, should be used for everything, but, please use helpers above, this is very low-level. -function run_host_command_logged() { - raw_command="${raw_command:-"$*"}" run_host_command_logged_raw /bin/bash -e -o pipefail -c "$*" -} - -function chroot_custom() { - local target=$1 - shift - raw_command="$*" raw_extra="chroot_custom" TMPDIR="" run_host_command_logged_raw chroot "${target}" /bin/bash -e -o pipefail -c "$*" -} - function extension_prepare_config__prepare_grub-riscv64() { display_alert "Prepare config" "${EXTENSION}" "info" # Extension configuration defaults.