Skip to content

Commit 2187991

Browse files
author
chainsx
authored
Update grub-riscv64.sh
1 parent 95cd6b7 commit 2187991

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

extensions/grub-riscv64.sh

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,16 @@
11
#!/usr/bin/env bash
22
# This runs *after* user_config. Don't change anything not coming from other variables or meant to be configured by the user.
3+
# run_host_command_logged is the very basic, should be used for everything, but, please use helpers above, this is very low-level.
4+
function run_host_command_logged() {
5+
raw_command="${raw_command:-"$*"}" run_host_command_logged_raw /bin/bash -e -o pipefail -c "$*"
6+
}
7+
8+
function chroot_custom() {
9+
local target=$1
10+
shift
11+
raw_command="$*" raw_extra="chroot_custom" TMPDIR="" run_host_command_logged_raw chroot "${target}" /bin/bash -e -o pipefail -c "$*"
12+
}
13+
314
function extension_prepare_config__prepare_grub-riscv64() {
415
display_alert "Prepare config" "${EXTENSION}" "info"
516
# Extension configuration defaults.

0 commit comments

Comments
 (0)