manuel
/
gentoo-install
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Sanity check ./install -R that the directory is a mountpoint

This commit is contained in:
oddlama 2021-05-30 03:17:37 +02:00
parent 86e4a32fd0
commit 09928ba3a5
No known key found for this signature in database
GPG Key ID: 14EFE510775FE39A
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/main.sh
View File

@ -374,6 +374,10 @@ function main_install() {
} }
function main_chroot() { function main_chroot() {
# Skip if already mounted
mountpoint -q -- "$1" \
|| die "'$1' is not a mountpoint"
gentoo_chroot "$@" gentoo_chroot "$@"
einfo "Unmounting chroot environment" einfo "Unmounting chroot environment"
gentoo_umount gentoo_umount