1#!/bin/sh 2 3if [ -d "$BINARIES_DIR/efi-part/" ]; then 4 sed -i 's%tty1%ttyS0,115200%' "$BINARIES_DIR/efi-part/EFI/BOOT/grub.cfg" 5else 6 sed -i 's%tty1%ttyS0,115200%' "$TARGET_DIR/boot/grub/grub.cfg" 7fi 8