no longer reproducible

This commit is contained in:
Patrick Schleizer 2023-10-22 10:40:19 -04:00
parent fcba70df2e
commit 24d2e26397
No known key found for this signature in database
GPG Key ID: CB8D50BB77BB3C48

View File

@ -103,7 +103,6 @@ remount_secure() {
fi fi
fi fi
## BUG: echo: write error: Broken pipe
if echo "$mount_output" | grep --quiet "$mount_folder " ; then if echo "$mount_output" | grep --quiet "$mount_folder " ; then
## Already mounted. Using remount. ## Already mounted. Using remount.
$output_command INFO: Executing: mount --options "remount,${intended_mount_options}" "$mount_folder" $output_command INFO: Executing: mount --options "remount,${intended_mount_options}" "$mount_folder"